POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 10:30 - 11:00 at Salle 116, Barre 44-54 - Programming Languages

Tue 17 Jan

PADL-2017
10:30 - 12:00: PADL - Programming Languages at Salle 116, Barre 44-54
PADL-201710:30 - 11:00
Talk
Sergio AntoyKiel University, Michael HanusKiel University
PADL-201711:00 - 11:30
Talk
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Jonathan FruhmanCUNY Brooklyn College
PADL-201711:30 - 12:00
Talk
Besik DunduaInstitute of Applied Mathematics, Tbilisi State University, Temur Kutsia, Klaus Reisenberger-HagmayerJohannes Kepler University Linz