PADL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala IV
Floor0
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

Mon 14 Jan

Displayed time zone: Belfast change

14:00 - 15:30
PADL Session 1PADL 2019 at Sala IV
13:50
10m
Day opening
PADL Opening and Welcome
PADL 2019
Moa Johansson Chalmers University of Technology, José Julio Alferes NOVA LINCS -- Universidade Nova de Lisboa
14:00
30m
Talk
Natural Language Generation From Ontologies
PADL 2019
14:30
30m
Talk
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
PADL 2019
Joaquín Arias , Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
15:00
30m
Talk
Improving Residuation in Declarative Programs
PADL 2019
Michael Hanus Kiel University
File Attached
16:00 - 17:30
PADL Session 2PADL 2019 at Sala IV
16:00
30m
Talk
Faster Coroutine Pipelines: A Reconstruction
PADL 2019
16:30
30m
Talk
Distributed Protocol Combinators
PADL 2019
Kristoffer Just Arndal Andersen Aarhus University, Ilya Sergey Yale-NUS College and National University of Singapore
Pre-print
17:00
30m
Talk
Classes of Arbitrary Kind
PADL 2019
Alejandro Serrano Utrecht University, Netherlands, Victor Cacciari Miraldo Utrecht University, Netherlands
Link to publication DOI File Attached

Tue 15 Jan

Displayed time zone: Belfast change

14:00 - 15:30
PADL Session 5PADL 2019 at Sala IV
14:00
30m
Talk
Composing Syntactical Constructs to Create Domain-Specific Languages
PADL 2019
David Broman KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology
DOI Media Attached
14:30
30m
Talk
Proof Carrying Plans
PADL 2019
Christopher Schwaab University of St Andrews, Ekaterina Komendantskaya Heriot-Watt University, UK, Alasdair Hill , Frantisek Farka , Ron Petrick , Joe Wells , Kevin Hammond University of St. Andrews, UK
15:00
30m
Talk
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
PADL 2019
Paul Tarau University of North Texas

Mon 14 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala IV

Tue 15 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala IV