Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za APRIL 2021.

Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 14h, pod rukovodstvom Profesora Miodraga Raskovica.

Video prenos predavanja možete pratiti putem linka:
https://miteam.mi.sanu.ac.rs/asset/Ys65rKpRmPC99kvpx
Ukoliko želite da aktivno učestvujete (u smislu vaših eventualnih pitanja ili komentara) možete se prijaviti putem registracione forme na ovom linku:
https://miteam.mi.sanu.ac.rs/asset/gvS3adhP2bTJ8ZuDT

 

ČETVRTAK, 15.04.2021. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
Nenad Krdžavac
PRIMENA ISKAZNE LOGIKE U KVANTNOJ HEMIJI
U predavanju će biti dat prikaz primene iskazne logike u pretraživanju rezultata izračunavanja u kvantnoj hemiji. Mašina za pretraživanje ima ugrađenu Davis–Putnam–Logemann–Loveland (DPLL) proceduru za proveru zadovoljivosti polaznog upita u konjuktivnoj normalnoj formi. Ako je upit zadovoljiv, onda mašina za pretraživanje na osnovu tog upita generiše odgovarajući SPARQL upit koji se koristi za pretraživanje baza znanja koje čuvaju podatke dobijene izračunavanjima u kvantnoj hemiji. Ovaj metod se pokazao kao efikasan kod kompatibilnosti različitih alata koji koriste rezultate kvantnih izračunavanja.

---

ČETVRTAK, 29.04.2021. u 14:00, Sala 301f, On-line
Peter Sachsenmeier, Deputy President Hankou University, President International Innovative Center, Academician National German Academy of Science and Engineering
ROADMAPS FOR INNOVATION IN GERMANY AND CHINA: THE OUTLOOK FOR COLLABORATION AND DEVELOPMENT
Academician Professor Peter Sachsenmeier has unique insights into the research roadmaps of two of the most important academic nations of the world: China and Germany. In his lecture, he will detail elements of the roadmaps, point out relevant parts for Serbia, and highlight novel issues beyond the five year plans. The current digitalization tsunami will change academic research (and university structures) dramatically, and much sooner than anyone expects. Academician Peter Sachsenmeier will therefore address the need for interdisciplinary research, the ability to collaborate among research institutions, the need for solid basic knowledge and research, the role of the arts in advancing creativity, as well as the urgent necessity to establish lighthouses/shining examples of relevant interdisciplinary research in Serbia, e.g. in sustainable and precision agriculture, blockchain, and others.

---

Obavezno je nošenje maski i održavanje distance. Broj prisutnih na predavanju ograničen na najviše 10 (uključujući i predavača).

Beograd, 2020.

---