BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20170326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260428T112224Z
UID:58d054ab4e3e8318098187@ist.ac.at
DTSTART:20170420T171500
DTEND:20170420T181500
DESCRIPTION:Speaker: Joost-Pieter Katoen\nhosted by Krishnendu Chatterjee\n
 Abstract: Probabilistic programming is en vogue. It is used to describe\nc
 omplex Bayesian networks\, quantum programs\, security protocols and\nbiol
 ogical systems. Programming languages like C\, C#\, Java\, Prolog\,\nScala
 \, etc. all have their probabilistic version. Key features are\nrandom sam
 pling and means to adjust distributions based on obtained\ninformation fro
 m measurements and system observations. We show some\nsemantic intricacies
 \, argue that termination is more involved than the\nhalting problem\, and
  discuss recursion as well as run-time analysis.
LOCATION:Mondi Seminar Room 2\, Central Building\, ISTA
ORGANIZER:pnovotny@ist.ac.at
SUMMARY:Joost-Pieter Katoen: Principles of Probabilistic Programming
URL:https://talks-calendar.ista.ac.at/events/391
END:VEVENT
END:VCALENDAR