ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for Probability Logic

 

PROGRAM


Plan rada Seminara Verovatnosnih logika za jun 2015.

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 15h, pod rukovodstvom Profesora Miodraga Raskovica.

ČETVRTAK, 4.06.2015. U 15:00
Thomas Studer, University of Bern, Switzerland, http://www.iam.unibe.ch/~tstuder
JUSTIFICATION LOGIC
ABSTRACT
Short biography
Thomas Studer is associate professor in computer science at the University of Bern. He studied computer science, mathematics, and philosophy in Bern where he also completed his PhD in 2001. His thesis focused on the mathematical modeling of object-oriented programming languages. From 2001 to 2003 he was senior software engineer for Crosspoint Informatik AG. In October 2003, Thomas Studer rejoined the Institute of Computer Science and Applied Mathematics of the University of Bern. His current research interests include proof theory, modal logics, and data privacy. Since 2014, Thomas Studer serves as president of the Swiss Society for Logic and Philosophy of Science.

ČETVRTAK, 11.06.2015. U 15:00
Marko Sosic
Prikaz rada Donaldson, R., Gilbert, D.: A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints. Technical report, University of Glasgow, Department of Computing Science


ČETVRTAK, 18.06.2014. U 15:00
Nebojsa Ikodinovic
NEKA ZAPAZANJA O DESKRIPTIVNIM LOGIKAMA I MOGUCA VEROVATNOSNA UOPSTENJA


ČETVRTAK, 26.06.2014. U 15:00
Dragan Jankovic, kustos nalazista Vinca
VINCANSKA KULTURA





Beograd, 2015.

Sekretar Seminara: Nataša Glišović
Rukovodilac Seminara: Prof. dr Miodrag Rašković