A GPU implementation of the ASP computation (PADL) - PADL

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

co-located with POPL 2016

Who

Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella

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 14:00 - 14:30 at Room Bayboro - Constraints

Agostino Dovier

University of Udine

Andrea Formisano

Università di Perugia

Enrico Pontelli

New Mexico State University

Flavio Vella

Sapienza University of Rome, Italy

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