National Institute of the Republic of Serbia
ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζωῶν τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν
 WOLLIC 2023 WorkshopJuly 11-14, 2023Silvia Ghilezan is the Program Committee member of WOLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation, Halifax, Nova Scotia, Canada.
> Source
|
 ESOP 2023 SymposiumApril 22-27, 2023Silvia Ghilezan is the Program Committee member of ESOP 2023 - 32nd European Symposium on Programming, which will take place in Paris, France.
> Source
|
 STACS 2023 SymposiumMarch 7-10, 2023Silvia 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.
> Source
|
 Invited lectureNovember 24, 2022Miodrag Mihaljević delivered a lecture "Some open problems and progresses in information security and blockchain technology" in Serbian Academy of Sciences and Arts, Branch in Niš.
> Source
|
 Lecture at SeminarNovember 24, 2022Dragan Urošević delivered a lecture "General Variable Neighborhood Search for the Multiple Traveling Repairman Problem with Profits" at Seminar for Decision making – theory, technology and practice.
> Source
|
 LADIS meetingNovember 21, 2022Silvia Ghilezan, Tamara Stefanović, Simona Kašterović, and Zoran Ognjanović were engaged in organization of the meeting LADIS – Logic, algebra and discrete mathematics meeting, in Grand Hall of the Faculty of Technical Sciences, University of Novi Sad. Lectures about Combinatorial Games and Combinatorial [Semi]Group Theory were presented.
> Source
|
 PhD thesis DefenceNovember 18, 2022Šejla Dautović defended her PhD thesis entitled "Logičko modelovanje bajesijanske teorije potvrđivanja (Logic modeling of Baesian confirmation theory)", at Faculty of Mathematics, University of Belgrade.
> Source
|
 Lecture at SeminarNovember 8, 2022Đorđe Jovanović delivered a lecture "Variable Neighborhood Search Approach to Community Detection Problem" at Seminar on Computer Science and Applied Mathematics.
> Source
|
 InterviewNovember 8, 2022Miodrag Mihaljević gave an interview about Information Security and Blockchain Technology, Radio Beograd 2, Digitalne ikone show.
> Source
|
 ICVNS 2022 ConferenceOctober 25-28, 2022The 9th International Conference on Variable Neighborhood Search ICVNS2022 was held in Abu Dhabi, UAE. Tatjana Davidović and Dragan Urošević are Program Committee members. The project results were presented by Tatjana Davidović (on-site) and Luka Matijević (on-line).
> Source
|
 Regional scientific meetingOctober 11, 2022Miodrag Mihaljević organized the regional scientific meeting Blockchain Technology and Information Security: Advances in Applications and Techniques, Grand Hall, Serbian Academy of Sciences and Arts. The participants from Serbia, Montenegro, and North Macedonia presented their latest results related to these topics. The organizer reported about the meeting in Dnevnik 1, RTS1, on Oct. 12, 2022.
> Source
|
 ExhibitionOctober 5-26, 2022Miodrag Mihaljević organized the exhibition Information Security and Blockchain Technology, Science and Technology Gallery, Serbian Academy of Sciences and Arts. It was promoted by the author in the interview presented in RTS1 Dnevnik 3, Oct. 05, 2022.
> Source
|
 KOI 2022 conferenceSeptember 27-30, 2022Tatjana Davidović, Dragan Urošević, and Luka Matijević presented project results at 19th International Conference on Operational Research (KOI 2022), held in Šibenik, Croatia.
> Source
|
 LAP 2022 conferenceSeptember 26-29, 2022Silvia Ghilezan and Zoran Ognjanović are Course Directors of conference Logic and Applications (LAP 2022), held in 2022 in Dubrovnik, Croatia. Project results were communicated by Silvia Ghilezan, Simona Kašterović, Tamara Stefanović, Šejla Dautović, Zoran Ognjanović, and Angelina Ilić-Stepić.
> Source
|
 SYM-OP-IS 2022 conferenceSeptember 19-22, 2022Tatjana Davidović and Dragan Urošević are Program Committee members of XLIX International Symposium on Operational Research SYM-OP-IS 2020, held in Vrnjačka Banja, Serbia. Luka Matijević presented two papers containing project results.
> Source
|
 TyDe workshopSeptember 11-15, 2022Silvia Ghilezan was an Invited lecturer at the workshop Type Driven Development – TyDe, organized at University of Ljubljana, Slovenia, Talk title: Duality of intersection and union types – where and how?
> Source
|
 New projectJanuary 2022Bilateral project STAFFS - Session Types: Applications, Foundations and Flow Security, between India and Serbia is approved for funding in the period 2022-2024. Silvia Ghilezan is the co-PI, and participants are Zoran Ognjanović, Simona Kašterovi, and Tamara Stefanović.
> Source
|
 Lecture at Artificial Intelligence SeminarMay 25, 2022Simona 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.
> Source
|
 New projectAugust 29, 2022Horizon 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).
> Source
|
 New projectAugust 12, 2022Miodrag 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.
> Source
|
 NM&A ConferenceAugust 22-26, 2022Đ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.
> Source
|
 Invited lectureJuly 13, 2022Miodrag 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.
> Source
|
 Conference Types for Proofs and ProgramsJune 20-25, 2022Simona Kašterović participated at 28th International Conference on Types for Proofs and Programs held on 20-25th June 2022, LS2N, University of Nantes, France, and delivered a talk ">a href="https://types22.inria.fr/files/2022/06/TYPES_2022_slides_44.pdf" target="blank">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.
> Source
|
 India-Serbia WorkshopJune 13-15, 2022Miodrag 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.
> Source
|
 Special issue of Symmetry journalMarch 29, 2022Miodrag Mihaljević is a guest editor of MDPI Symmetry journal: Advances in Multidisciplinary Exploration for Symmetric Key Cryptography and Blockchain Technology.
> Source
|
 Presentation of AI4TrustBC project resultsMay, 16 and 20, 2022The 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.
> Source
|
 Participation at ICORES 2022February 04, 2022Tatjana 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.
> Source
|
 Lecture at Mathematics ColloquiumNovember 26, 2021Zoran Ognjanović gave a lecture entitled A Probabilistic Epistemic Temporal Logic. Consistency analysis of blockchain protocol. A new non-classical logic szstem is presented suitable for description of distributed consensus protocol in BlochChain szstems. (Recorded lecture in Serbian)
> Source
|
 Lecture at Computer Science and Applied Mathematics SeminarNovember 16, 2021Lecture entitled The Weighted Sheduling Problem with Deadlines and Release Times is given by Una Stanković. It contains results of two papers, co-authored by Tatjana Davidović and Luka Matijević published in SYMOPIS 2021 Proceedings. (Recorded lecture in Serbian)
> Source
|
 Lecture at Student SeminarNovember 05, 2021Luka Matijević gave a talk entitled Metaheuristic Approaches to Green Vehicle Routing Problems, containing literature review of the field connected to his future Doctoral Thesis. The subject is also of interest in developing new BlockChain consensus protocols. (Recorded lecture in Serbian)
> Source
|
 Online lectureOctober 7, 2021The overview of recent project results under the title Combinatorial Optimization for Self Contained Blockchain: An Example of Useful Synergy was presented by Milan Todorović at the joint meeting of Seminar Decision Making - Theory, technology and Practice and Seminar on Computer Science and Applied Mathematics, on October 07, 2021 at 1pm. (Recorded lecture in Serbian)
> Source
|
 SYMOPIS 2021September 20-23, 2021Prof dr Dragan Urošević (co-chair) and dr Tatjana Davidović are programme committee members, while Tatjana Jakšić Krüger and Luka Matijević were part of the organizing committee of the XLVIII International Symposium on Operational Research. The symposium was organized by Mathematical institute SANU and Faculty of Mathematics - University of Belgrade and was held in hybrid mode. Recent results were communicated by Luka Matijević, Milan Todorović and Una Stanković.
> Source
|
 Conference Logic and Application, LAP 2021September 20-24, 2021As a part of the project's activities, prof dr Silvia Ghilezan and dr Zoran Ognjanović were members of the programme committee of the 10th Conference on Logic and Application (LAP 2021). Recent results were presented by: Simona Kašterović, Angelina Ilić-Stepić, Šejla Dautović, Tamara Stefanović, Bojan Marinković.
> Source
|
 International Symposium on Principles and Practice of Declarative Programming, PPDP 2021September 6-8, 2021Project member prof dr Silvia Ghilezan was appointed as the co-chair of the 23rd International Symposium on Principles and Practice of Declarative Programming held in Tallinn, Estonia.
> Source
|
 Online lectureJune 23, 2021Dr. 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. (Recorded lecture in Serbian)
> Source
|
 Lecture at SeminarNovember 24, 2020Dr Miodrag Mihaljević gave the talk On Blockchain Technology And The Consensus Protocol, at Seminar on Computer Science and Applied Mathematics. (Recorded lecture in Serbian)
> Source
|
 Participation at the webinarOctober 21, 2020Dr. Miodrag Mihaljević and Prof. Silvia Ghilezan were invited to participate in the modern-day gathering Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19.
> Source
|
 RTV interviewOctober 16, 2020Dr. Tatjana Davidović was a guest on the science show "Nauka Privredi" at Radio Television of Vojvodina. She explained that the AI4TrustBC project is about the application of standard and non-standard methods of artificial intelligence to the development of trustworthy blockchain technologies.
> Source
|
 Conference LAP 2020September 21-23, 2020Prof. Silvia Ghilezan and Dr. Zoran Ognjanović have helped the organization of 9th Conference on Logic and Application (LAP 2020). In addition to them, Šejla Dautović, Tamara Stefanović also participated by presenting their new results.
> Source
|
 Participation at IFIP summer schoolSeptember 20-23, 2020Tamara Stefanović has presented the research results by giving a talk entitled Preserving Privacy in Caller ID Applications at IFIP Summer School on Privacy and Identity Management.
> Source
|
