Fifteenth International Symposium on
Practical Aspects of Declarative Languages
PADL'13

Rome, Italy
January 21-22, 2013

Co-located with ACM's Principles of Programming Languages, January 2013

Monday, January 21, 2012

Breakfast (provided in the registration) (8:00 – 8:45)

Welcome and PC Chair's Report (8:45 – 9:00)

Invited Talk (9:00 – 10:00)

Chair: Kostis Sagonas

Break (10:00 – 10:30)

Session 1: Logic Programming (10:30 – 12:30)

Chair: Gopal Gupta

Lunch (not provided) (12:30 – 14:30)

Session 2: Functional Programming (14:30 – 16:00)

Chair: Dimitrios Vytiniotis

Break (16:00 – 16:30)

Session 3: Parallelism (16:30 – 17:30)

Chair: Elvira Albert

Informal PADL Dinner at Pizzeria Gaudi, Via Ruggero Giovannelli 5 (20:00 – )

Tuesday, January 22, 2013

Breakfast (provided in the registration) (8:00 – 9:00)

Session 4: Libraries and Applications (9:00 – 10:00)

Chair: Jurriaan Hage

Break (10:00 – 10:30)

Session 5: Tabling and Termination (10:30 – 12:30)

Chair: Kostis Sagonas

Lunch (not provided) (12:30 – 14:30)

Session 6: Declarative Aspects of Databases (14:30 – 16:00)

Chair: Kim Nguyen

Break (16:00 – 16:30)

Panel on Declarative Programming