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: Saskatchewan, Central America change

08:30 - 10:00: Logical Engines and ApplicationsPADL at Bacchus
Chair(s): Ekaterina KomendantskayaHeriot-Watt University, UK
08:30 - 08:45
Day opening
Opening
PADL
08:45 - 09:35
Talk
Invited Talk: Logical Engines for Cloud Configurations
PADL
I: Nikolaj BjørnerMicrosoft Research
09:35 - 10:00
Talk
Interactive Text Graph Mining with a Prolog-based Dialog Engine
PADL
Paul TarauUniversity of North Texas, Eduardo Blanco
10:30 - 12:00: Answer Set Programming SystemsPADL at Bacchus
Chair(s): Neng-Fa ZhouCUNY Brooklyn College and Graduate Center
10:30 - 10:55
Talk
AQuA: ASP-based Visual Question Answering
PADL
10:55 - 11:10
Short-paper
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
PADL
11:10 - 11:25
Short-paper
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
PADL
Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University
11:25 - 12:00
Other
Panel: Programming with logic for the masses
PADL
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
13:30 - 15:00: Memory and Real-Time in Functional ProgrammingPADL at Bacchus
Chair(s): John HughesChalmers University of Technology, Sweden
13:30 - 13:55
Talk
On the Effects of Integrating Region-based Memory Managemen and Generational Garbage Collection in ML
PADL
Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg
13:55 - 14:20
Talk
RTMLton: An SML Runtime for Real-Time Systems
PADL
14:20 - 14:45
Talk
A Timed IO Monad
PADL
David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
14:45 - 15:00
Other
Panel: Memory and real-time programming in practice
PADL
Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg, Bhargav Shivkumar, Jeffrey Murphy, Lukasz ZiarekSUNY Buffalo, USA, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
15:30 - 17:00: Answer Set Programming Applications and Competitive programming experiencePADL at Bacchus
Chair(s): Alex Brik
15:30 - 15:55
Talk
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming
PADL
Sheung Chi Chan, James CheneyUniversity of Edinburgh, UK
15:55 - 16:20
Talk
On Repairing Web Services Workflows
PADL
Thanh Hai Nguyen, Enrico PontelliNew Mexico State University, Tran Cao Son
16:20 - 17:00
Talk
Competitive Programming with PiCat
PADL
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

13:30 - 15:00: Invited Experience and Direction SessionPADL at Bacchus
Chair(s): David WarrenStony Brook University, Konstantinos (Kostis) SagonasUppsala University, Sweden
13:30 - 14:00
Talk
Invited Talk: Relational Artificial Intelligence
PADL
Molham ArefRelational.ai
14:00 - 14:30
Talk
Invited Talk: Learning Interpretable Rules from Structured Data
PADL
Mayur NaikUniversity of Pennsylvania
14:30 - 15:00
Talk
Invited Talk: An Introduction to the Imandra Automated Reasoning System
PADL
Grant PassmoreImandra Inc.
15:30 - 17:00: Invited Experience and Direction Session (Continued)PADL at Bacchus
Chair(s): Y. Annie LiuStony Brook University, David WarrenStony Brook University, Konstantinos (Kostis) SagonasUppsala University, Sweden
15:30 - 16:00
Talk
Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types
PADL
Philip WadlerUniversity of Edinburgh, UK
16:00 - 16:45
Other
Panel: Experience and Direction
PADL
I: Molham ArefRelational.ai, I: Mayur NaikUniversity of Pennsylvania, I: Grant PassmoreImandra Inc., I: Philip WadlerUniversity of Edinburgh, UK
16:45 - 17:00
Day closing
Closing
PADL
Ekaterina KomendantskayaHeriot-Watt University, UK, Y. Annie LiuStony Brook University

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change