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

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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