Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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
Times are displayed in time zone: Belfast change

14:00 - 15:30
PADL Session 1PADL at Sala IV
13:50
10m
Day opening
PADL Opening and Welcome
PADL
Moa JohanssonChalmers University of Technology, José Julio AlferesNOVA LINCS -- Universidade Nova de Lisboa
14:00
30m
Talk
Natural Language Generation From Ontologies
PADL
14:30
30m
Talk
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
PADL
Joaquin AriasUniversidad Politécnica de Madrid and IMDEA Software Institute, Manuel CarroIMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
15:00
30m
Talk
Improving Residuation in Declarative Programs
PADL
Michael HanusKiel University
File Attached
16:00 - 17:30
PADL Session 2PADL at Sala IV
16:00
30m
Talk
Faster Coroutine Pipelines: A Reconstruction
PADL
16:30
30m
Talk
Distributed Protocol Combinators
PADL
Kristoffer Just Arndal AndersenAarhus University, Ilya SergeyYale-NUS College and National University of Singapore
Pre-print
17:00
30m
Talk
Classes of Arbitrary Kind
PADL
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
Link to publication DOI File Attached

Mon 14 Jan
Times are displayed in time zone: Belfast change

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

Tue 15 Jan
Times are displayed in time zone: Belfast change

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