Write a Blog >>
VenueJW Marriott New Orleans
Room nameBacchus
Floor8
Additional informationThere is no additional information of this room available.
Program

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

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
PADL-2020-papers
10:30 - 12:00: PADL 2020 - Answer Set Programming Systems at Bacchus
Chair(s): Neng-Fa ZhouCUNY Brooklyn College and Graduate Center
PADL-2020-papers10:30 - 10:55
Talk
PADL-2020-papers10:55 - 11:10
Short-paper
PADL-2020-papers11:10 - 11:25
Short-paper
Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University
PADL-2020-papers11:25 - 12:00
Other
Nikolaj BjørnerMicrosoft Research, Paul TarauUniversity of North Texas, Eduardo Blanco, Kinjal Basu, Farhad Shakerin, Gopal Gupta, Alex Brik, Jeffrey XuUCLA, Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University
PADL-2020-papers
13:30 - 15:00: PADL 2020 - Memory and Real-Time in Functional Programming at Bacchus
Chair(s): John HughesChalmers University of Technology, Sweden
PADL-2020-papers13:30 - 13:55
Talk
Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg
PADL-2020-papers13:55 - 14:20
Talk
PADL-2020-papers14:20 - 14:45
Talk
David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
PADL-2020-papers14:45 - 15:00
Other
Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg, Bhargav Shivkumar, Jeffrey Murphy, Lukasz ZiarekSUNY Buffalo, USA, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
PADL-2020-papers
15:30 - 17:00: PADL 2020 - Answer Set Programming Applications and Competitive programming experience at Bacchus
Chair(s): Alex Brik
PADL-2020-papers15:30 - 15:55
Talk
Sheung Chi Chan, James CheneyUniversity of Edinburgh, UK
PADL-2020-papers15:55 - 16:20
Talk
Thanh Hai Nguyen, Enrico PontelliNew Mexico State University, Tran Cao Son
PADL-2020-papers16:20 - 17:00
Talk
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center

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

PADL-2020-papers
08:30 - 10:00: PADL 2020 - Reasoning and Efficient Implementation at Bacchus
Chair(s): Y. Annie LiuStony Brook University
PADL-2020-papers08:30 - 09:20
Talk
PADL-2020-papers09:20 - 09:45
Talk
PADL-2020-papers09:45 - 10:00
Short-paper
PADL-2020-papers
10:30 - 12:00: PADL 2020 - Small Languages and Implementation at Bacchus
Chair(s): James CheneyUniversity of Edinburgh, UK
PADL-2020-papers10:30 - 10:55
Talk
Martin ErwigOregon State University, Prashant Kumar, Alan Fern
PADL-2020-papers10:55 - 11:20
Talk
PADL-2020-papers11:20 - 11:35
Short-paper
Ramy Shahin, Marsha ChechikUniversity of Toronto
PADL-2020-papers11:35 - 12:00
Other
PADL-2020-papers
13:30 - 15:00: PADL 2020 - Invited Experience and Direction Session at Bacchus
Chair(s): David WarrenStony Brook University, Konstantinos (Kostis) SagonasUppsala University, Sweden
PADL-2020-papers13:30 - 14:00
Talk
Molham ArefRelational.ai
PADL-2020-papers14:00 - 14:30
Talk
Mayur NaikUniversity of Pennsylvania
PADL-2020-papers14:30 - 15:00
Talk
Grant PassmoreImandra Inc.
PADL-2020-papers
15:30 - 17:00: PADL 2020 - Invited Experience and Direction Session (Continued) at Bacchus
Chair(s): Y. Annie LiuStony Brook University, David WarrenStony Brook University, Konstantinos (Kostis) SagonasUppsala University, Sweden
PADL-2020-papers15:30 - 16:00
Talk
Philip WadlerUniversity of Edinburgh, UK
PADL-2020-papers16:00 - 16:45
Other
Molham ArefRelational.ai, Mayur NaikUniversity of Pennsylvania, Grant PassmoreImandra Inc., Philip WadlerUniversity of Edinburgh, UK
PADL-2020-papers16:45 - 17:00
Day closing
Ekaterina KomendantskayaHeriot-Watt University, UK, Y. Annie LiuStony Brook University

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

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