Write a Blog >>
Mon 20 Jan 2020 09:35 - 10:00 at Bacchus - Logical Engines and Applications Chair(s): Ekaterina Komendantskaya

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

PADL-2020-papers
08:30 - 10:00: PADL 2020 - Logical Engines and Applications at Bacchus
Chair(s): Ekaterina KomendantskayaHeriot-Watt University, UK
PADL-2020-papers08:30 - 08:45
Day opening
PADL-2020-papers08:45 - 09:35
Talk
Nikolaj BjørnerMicrosoft Research
PADL-2020-papers09:35 - 10:00
Talk
Paul TarauUniversity of North Texas, Eduardo Blanco