MISANU

Project AI4TrustBC

Project activities

Miodrag Mihaljević is a guest editor of MDPI Symmetry journal " Advances in Multidisciplinary Exploration for Symmetric Key Cryptography and Blockchain Technology.

Miodrag Mihaljević organized India-Serbia Workshop on Selected Topics of Artificial Intelligence and Information Technology Techniques and Applications, June 13-15, 2022, Belgrade, Serbian Academy of Sciences and Arts.

Silvia Ghilezan is the Program Committee member and Session Chair of ICFP 2022 -The 27th ACM SIGPLAN International Conference on Functional Programming, which will take place in Ljubljana, Slovenia on 11-16 September 2022.
She is also an invited speaker at TyDe with a talk "Duality of intersection and union types - where and how?"

Silvia Ghilezan is the guest editor of TYPES Post-Proceedings LIPIcs, Leibniz International Proceedings in Informatics, Schloss Dagstuhl – Leibniz Center for Informatics. The proceedings is published.

Zoran Ognjanović delivered a talk "An approach to analyzing distributed protocols based on formal logic", at India-Serbia Workshop on June 14, 2022.

Miodrag Mihaljević delivered a talk "Advances in Techniques for Blockchain Technology and Encryption", at India-Serbia Workshop on June 14, 2022.

Dragan Urošević delivered a talk "Proof-of-Useful-Work: BlockChain Mining by Solving Real-life Optimization Problems", at India-Serbia Workshop on June 14, 2022.

Simona Kašterović participated at 28th International Conference on Types for Proofs and Programs and delivered a talk "Towards Probabilistic Reasoning about Typed Combinatory Terms", on June 20, 2022. She presented joint work with Silvia Ghilezan. During the conference, a workshop Women in EuroProofNet was organized and Simona presented her research results in a talk "Probabilistic reasoning in computation and type theory", on June 24, 2022.

Silvia Ghilezan was an Invited lecturer at Oregon Programming Languages Summer School - OPLSS 2022, June 20- July 2, 2022, University of Oregon, Eugene, USA, Slides, videos and handouts are in open access available at https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php#Ghilezan .

Miodrag Mihaljević delivered a talk "An Approach for Pool Mining Employing Symmetric Encryption Based Consensus Protocol Puzzle Robust Against Block With holding and Selfish Mining Attacks", on July 13, 2022 at Institute of Industrial Science, The University of Tokyo, Japan.

Šejla Dautović participated at ESSLLI2022 Summer School on Aug. 8-19, 2022 held at National University of Ireland Galway.

Đorđe Jovanović presented a paper "VNS for Community Detection on Undirected Graph" at MN\& A 2022 conference, held in Borovetz, Bulgaria, Avg. 22-26, 2022.

Miodrag Mihaljević and Tatjana Davidović are team members of the project "Development of innovative AI based solution for a Blockchain technology in Maritime Supply chain" (ABMarSupply), approved for funding within SMART4ALL - 3rd KTE program.

Silvia Ghilezan and Zoran Ognjanović are directors of the conference Logic and Applications, September 26-29, 2022, IUC, Dubrovnik, Croatia.

Dragan Urošević and Tatjana Davidović are Program Committee members of the XLIX International Symposium on Operational Research, SYMOPIS 2022, Vrnjačka Banja, 19-22. September 2022.

Silvia Ghilezan is the Program Committee member of STACS 2023 - 40th International Symposium on Theoretical Aspects of Computer Science, which will take place in Hamburg, Germany, March 7-10, 2023. The selection of keynote and invited speakers is ongoing.

Silvia Ghilezan is the - Program Committee member ESOP 2023 - 32nd European Symposium on Programming, which will take place in Paris, France, April 22-27, 2023. Preparatory activities are ongoing.

Horizon Europe RIA project TaRDIS - TRUSTWORTHY AND RESILIENT DECENTRALISED INTELLIGENCE FOR EDGE SYSTEMS, Call HORIZON-CL4-2022-DATA-01-03: Programming tools for decentralised intelligence and swarms (RIA), approved (2023-2027).

Simona Kašterović and Tamara Stefanović gave a talk CRYPTO-COVID: PRIVACY PROBLEMS IN BLOCKCHAIN TECHNOLOGY AND DIGITAL CONTACT TRACING at the Artificial Intelligence Seminar, on May 25, 2022, presenting their research results within WP1.

The project realization plan includes public presentation of the achieved results at the OpenDay event. On Monday, May 16, 2022 OpenDay is scheduled in Belgrade, Grand Hall of Serbian Academy of Sciences and Arts at 12 pm, while in Novi Sad the presentations are in Grand Hall of Faculty of Technical Sciences on Friday, May 20, 2022 at 12 pm. Project members prepared printed material and presentations to demonstrate the most significant results to a wide audience. Provided are also the video of event in Belgrade, as well as photo galery from Belgrade and Novi Sad.

Tatjana Davidović is a member of the Program Committee of the International Conference on Operations Research and Enterprise Systems (ICORES) since 2020. The 11th ICORES 2022 is organized as a virtual event held Feb. 03-05, 2022. Dr Davidović presented a paper entitled Comparative Analysis of Heuristic Approaches to P||Cmax, co-authored with Dragutin Ostojić, Tatjana Jakšić Kruger and Dušan Ramljak.

Dr. Zoran Ognjanović gave the talk A Probabilistic Epistemic Temporal Logic. Consistency analysis of blockchain protocol at the Mathematics Colloquium, on Nov. 26, 2021 at 14:00.

Una Stanković gave a talk The Weighted Sheduling Problem with Deadlines and Release Times at the Seminar on Computer Science and Applied Mathematics, on Nov. 16, 2021 at 14:00. The presented material is co-authored with Tatjana Davidović and Luka Matijević, and it summarizes the results of two papers published in the SYMOPIS 2021 conference proceedings.

Luka Matijević gave the talk Metaheuristic Approaches for the Green Vehicle Routing Problem at the Student Seminar, on Nov. 05, 2021 at 12:00. This topic represents potential for investigation in the Proof-of-Useful-Work consensus protocol.

Milan Todorović presented an extended version of a paper Combinatorial Optimization for Self Contained Blockchain: An Example of Useful Synergy, co-authored with Dušan Ramljak, Tatjana Davidović, Dragan Urošević, Tatjana Jakšić-Krüger, Luka Matijević, Đorđe Jovanović, at the joint meeting of Seminar for Decision making – theory, technology and practice and Seminar on Computer Science and Applied Mathematics, on Oct. 07, 2021 at 13:00.

Organization of Logic and Applications conference, September 20-24, 2021, Dubrovnik, Croatia. Prof. Dr. Silvia Ghilezan and Dr. Zoran Ognjanović are members of the Program Committee. Simona Kašterović was responsible for the conference web page and for editing the Book of abstracts. Related to the project results, 5 papers are prepared for presentation at the conference.

Organization of Symposium on Operational Research, SYMOPIS 2021, September 20-23, 2021, Banja Koviljača, Serbia. Prof. Dr. Dragan Urošević and Dr. Tatjana Davidović are members of the Program Committee. Dr. Tatjana Jakšić Krüger and Luka Matijević are in the Organiting Committee. Several papers related to the project results are prepared for presentation at the symposium.

Dr. Tatjana Davidović gave the talk About AI4TrustBC Project, and presented project activities and results at the joint meeting of Artificial Intelligence Seminar and Seminar on Computer Science and Applied Mathematics, on June 23, 2021 at 19:00.

Silvia Ghilezan gave a talk Type Systems for Trustworthiness – from Mathematics to Large-Scale Systems, as a keynote speaker at the 7th Conference on the Engineering of Computer Based Systems, ECBS 2021, Novi Sad, May 26-27, 2021.

Šejla Dautović presented the paper (co-authored by Dragan Doder, Zoran Ognjanović) An epistemic probabilistic logic with conditional probabilities, on May 20, 2021, at the European Conference on Logics in Artificial Intelligence, JELIA 2021.

Miodrag J. Mihaljević, A Blockchain Consensus Protocol with Flexible Requirement of the Resources, invited talk at the 14th International Online Conference on Mathematical Scences for Advancement of Science and Technology Dec. 21-23, India, 2020.

Miodrag J. Mihaljević, On Blockchain Technology And The Consensus Protocol, invited talk at the Seminar on Computer Science and Applied mathematics Nov. 24, 2020, at 14:00. Presentation of the results publised in: Mihaljević, Miodrag J., A Blockchain Consensus Protocol Based on Dedicated Time-Memory-Data Trade-Off, IEEE Access 8 (2020), 141258-141268.

LAP 2020 conference, September 21-25, 2020, Dubrovnik, Croatia. Prof. Silvia Ghilezan and Dr. Zoran Ognjanović are members of the Program Committee. They promoted project among the conference participants. Šejla Dautović talked about Logical formalization of Bayesian concepts of confirmation, while Tamara Stefanović presented work entitled An Overview of Mathematical Models for Data Privacy.