The Picat-SAT Compiler (PADL) - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Who

Neng-Fa Zhou, Håkan Kjellerstrand

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Mon 18 Jan 2016 15:00 - 15:30 at Room Bayboro - Constraints

Neng-Fa Zhou

CUNY Brooklyn College and Graduate Center

Håkan Kjellerstrand

CUNY Brooklyn College and Graduate Center

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	14:00 - 15:30	ConstraintsPADL at Room Bayboro

	14:00 30m Talk		A GPU implementation of the ASP computation PADL Agostino Dovier University of Udine, Andrea Formisano Università di Perugia , Enrico Pontelli New Mexico State University, Flavio Vella Sapienza University of Rome, Italy
	14:30 30m Talk		Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station PADL Jan Jelínek Charles University in Prague, Roman Barták Charles University in Prague
	15:00 30m Talk		The Picat-SAT Compiler PADL Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, Håkan Kjellerstrand CUNY Brooklyn College and Graduate Center