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

Conference Day
Mon 14 Jan

Displayed 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

Conference Day
Mon 14 Jan

Displayed time zone: Belfast change

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

Conference Day
Tue 15 Jan

Displayed time zone: Belfast change

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