POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 11:30 - 12:00 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
30m
Talk
Improving Non-deterministic Computations in Functional Logic Programs
PADL
Sergio AntoyKiel University, Michael HanusKiel University
11:00
30m
Talk
Canonicalizing High-Level Constructs in Picat
PADL
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Jonathan FruhmanCUNY Brooklyn College
11:30
30m
Talk
An Overview of PRhoLog
PADL
Besik DunduaInstitute of Applied Mathematics, Tbilisi State University, Temur Kutsia, Klaus Reisenberger-HagmayerJohannes Kepler University Linz