PEPM 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room namePADL
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Mon 20 Jan

PADL-2020-papers
08:30 - 10:00: PADL 2020 - Logical Engines and Applications at PADL
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 PADL
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 PADL
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 PADL
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

PADL-2020-papers
08:30 - 10:00: PADL 2020 - Reasoning and Efficient Implementation at PADL
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 PADL
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 PADL
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 PADL
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

This program is tentative and subject to change.

Mon 20 Jan 2020

Tue 21 Jan 2020

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
PADL

This program is tentative and subject to change.