Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 15:00 - 15:30 at Sala IV - PADL Session 1
Slides (padl19_slides.pdf)215KiB

Mon 14 Jan

PADL-2019
14:00 - 15:30: PADL 2019 - PADL Session 1 at Sala IV
PADL-201913:50 - 14:00
Day opening
Moa JohanssonChalmers University of Technology, José Julio AlferesNOVA LINCS -- Universidade Nova de Lisboa
PADL-201914:00 - 14:30
Talk
PADL-201914:30 - 15:00
Talk
Joaquin AriasUniversidad Politécnica de Madrid and IMDEA Software Institute, Manuel CarroIMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
PADL-201915:00 - 15:30
Talk
Michael HanusKiel University
File Attached