Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / OPCT 2019 (series) / OPCT 2019 /

Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification

OPCT 2019

Display in different time zone

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.
Apply
Close
Tue 15 Jan 2019 13:50 - 14:15 at Sala VII - Algebra, Coalgebra, Model Checking Chair(s): Barbara König
Slides (opct2019.pdf)2.13MiB

I am full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente. Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.

Display in different time zone

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.
Apply
Close

Tue 15 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

opct-2019-papers
13:50 - 15:30: OPCT 2019 - Algebra, Coalgebra, Model Checking at Sala VII
Chair(s): Barbara KönigUniversity of Duisburg-Essen
opct-2019-papers13:50 - 14:15
Talk
Joost-Pieter KatoenRWTH Aachen University
File Attached
opct-2019-papers14:15 - 14:40
Talk
Paolo BaldanUniversity of Padova
File Attached
opct-2019-papers14:40 - 15:05
Talk
Helle Hvid HansenDelft University of Technology
File Attached
opct-2019-papers15:05 - 15:30
Talk
Simone TiniUniversity of Insubria
Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University