VenueBoston Park Plaza
Room nameCopley
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Tutorials 4ATutorialFest at Copley
09:00
90m
Tutorial
Deductive Verification of Probabilistic Programs
TutorialFest
Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja DTU
11:00 - 12:30
Tutorials 4BTutorialFest at Copley
11:00
90m
Tutorial
Deductive Verification of Probabilistic Programs
TutorialFest
Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja DTU
14:00 - 15:30
Tutorials 8ATutorialFest at Copley
14:00
90m
Tutorial
Neurosymbolic Programming
TutorialFest
Swarat Chaudhuri University of Texas at Austin, Atharva Sehgal University of Texas, Austin, Armando Solar-Lezama Massachusetts Institute of Technology
16:00 - 17:30
Tutorials 8BTutorialFest at Copley
16:00
90m
Tutorial
Neurosymbolic Programming
TutorialFest
Swarat Chaudhuri University of Texas at Austin, Atharva Sehgal University of Texas, Austin, Armando Solar-Lezama Massachusetts Institute of Technology

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Copley