Canonicalizing High-Level Constructs in Picat (PADL 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Neng-Fa Zhou, Jonathan Fruhman

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 17 Jan 2017 11:00 - 11:30 at Salle 116, Barre 44-54 - Programming Languages

Neng-Fa Zhou

CUNY Brooklyn College and Graduate Center

Jonathan Fruhman

CUNY Brooklyn College

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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