POPL 2018 (series) / PADL 2018 (series) /
PADL 2018 Program
This is the PADL 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 8 JanDisplayed time zone: Tijuana, Baja California change
Mon 8 Jan
Displayed time zone: Tijuana, Baja California change
13:30 - 14:30 | |||
13:30 30mDay opening | Opening PADL | ||
14:00 30mTalk | INVITED TALK: ``Safe'' Languages Require Sequential Consistency PADL |
14:30 - 15:30 | |||
14:30 30mTalk | Exploiting Term Hiding to Reduce Run-time Checking Overhead PADL A: Nataliia Stulova IMDEA Software Institute and T.U. of Madrid (UPM), A: José Morales IMDEA Software Institute, A: Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
15:00 30mTalk | On k-colored Lambda Terms and their Skeletons PADL |
16:00 - 17:00 | |||
16:00 30mTalk | An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic PADL | ||
16:30 30mTalk | Three is a crowd: SAT, SMT and CLP on a chessboard PADL A: Sebastian Krings , A: Michael Leuschel University of Düsseldorf, A: Philipp Koerner , A: Stefan Hallerstede , A: Miran Hasanagic |
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
Tue 9 Jan
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 60mTalk | INVITED TALK: Declarative Algorithms on Big Data: a Logic-Based Solution PADL File Attached |
10:30 - 12:00 | |||
10:30 30mTalk | Hygienic Source-Code Generation Using Functors PADL | ||
11:00 30mTalk | Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell PADL | ||
11:30 30mTalk | Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs PADL A: Florian Biermann IT University of Copenhagen, Wensheng Dou Institute of Software, Chinese Academy of Sciences, China, A: Peter Sestoft IT University of Copenhagen |
13:30 - 15:30 | |||
13:30 30mTalk | Automatic Web Services Composition for Phylotastic PADL | ||
14:00 30mTalk | Navigating Online Semantic Resources for Entity Set Expansion PADL | ||
14:30 30mTalk | A REST-based Development Framework for ASP: Tools and Application PADL A: Gelsomina Catalano , A: Giovanni Laboccetta , A: Kristian Reale , A: Francesco Ricca , A: Pierfrancesco Veltri | ||
15:00 30mTalk | LoIDE: a a web-based IDE for Logic Programming - Preliminary Report PADL |
16:00 - 18:00 | |||
16:00 30mTalk | Probabilistic Functional Logic Programming PADL A: Sandra Dylus University of Kiel, Germany, A: Jan Christiansen Flensburg University of Applied Sciences, Germany, A: Finn Teegen University of Kiel, Germany | ||
16:30 30mTalk | Optimizing Answer Set Computation via Heuristic-Based Decomposition PADL A: Francesco Calimeri University of Calabria, A: Davide Fuscà , A: Simona Perri , A: Jessica Zangari | ||
17:00 30mDay closing | Closing PADL |