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.