VenueBoston Park Plaza
Room nameCopley
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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 and University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja Technical University of Denmark
11:00 - 12:30
Tutorials 4BTutorialFest at Copley
11:00
90m
Tutorial
Deductive Verification of Probabilistic Programs
TutorialFest
Benjamin Lucien Kaminski Saarland University and University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja Technical University of Denmark
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, Jennifer Sun California Institute of Technology, yisong yue Caltech
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, Jennifer Sun California Institute of Technology, yisong yue Caltech

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