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

Displayed 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 Antoy Kiel University, Michael Hanus Kiel University
11:00
30m
Talk
Canonicalizing High-Level Constructs in Picat
PADL
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, Jonathan Fruhman CUNY Brooklyn College
11:30
30m
Talk
An Overview of PRhoLog
PADL
Besik Dundua Institute of Applied Mathematics, Tbilisi State University, Temur Kutsia , Klaus Reisenberger-Hagmayer Johannes Kepler University Linz