PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Mon 18 Jan 2016 14:00 - 14:30 at Room Bayboro - Constraints

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