Write a Blog >>
VenueJW Marriott New Orleans
Room nameBacchus
Floor8
Room InformationNo extra information available
Program

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

Conference Day
Mon 20 Jan

Displayed 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
15m
Day opening
Opening
PADL
08:45
50m
Talk
Invited Talk: Logical Engines for Cloud Configurations
PADL
I: Nikolaj BjørnerMicrosoft Research
09:35
25m
Talk
Interactive Text Graph Mining with a Prolog-based Dialog Engine
PADL
Paul TarauUniversity of North Texas, Eduardo Blanco
13:30 - 15:00
Memory and Real-Time in Functional ProgrammingPADL at Bacchus
Chair(s): John HughesChalmers University of Technology, Sweden
13:30
25m
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
25m
Talk
RTMLton: An SML Runtime for Real-Time Systems
PADL
14:20
25m
Talk
A Timed IO Monad
PADL
David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
14:45
15m
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
25m
Talk
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming
PADL
Sheung Chi Chan, James CheneyUniversity of Edinburgh, UK
15:55
25m
Talk
On Repairing Web Services Workflows
PADL
Thanh Hai Nguyen, Enrico PontelliNew Mexico State University, Tran Cao Son
16:20
40m
Talk
Competitive Programming with PiCat
PADL
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center

Conference Day
Tue 21 Jan

Displayed 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
30m
Talk
Invited Talk: Relational Artificial Intelligence
PADL
Molham ArefRelational.ai
14:00
30m
Talk
Invited Talk: Learning Interpretable Rules from Structured Data
PADL
Mayur NaikUniversity of Pennsylvania
14:30
30m
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
30m
Talk
Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types
PADL
Philip WadlerUniversity of Edinburgh, UK
16:00
45m
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
15m
Day closing
Closing
PADL
Ekaterina KomendantskayaHeriot-Watt University, UK, Y. Annie LiuStony Brook University

Conference Day
Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change