Twelfth International Symposium on
Practical Aspects of Declarative Languages
PADL 10: Conference Programme

Madrid, Spain
January 18-19, 2010

Monday, January 18, 2010

Invited talk [9:00-10:00]

Chair: Manuel Carro

Coffee Break [10:00-10:30]

Session 1 [10:30-11:45]: Non-Monotonic Reasoning and Answer Set Programming

Chair: Enrico Pontelli

Half Coffee Break [11:45-12:00]

Session 2 [12:00-13:00]: Types

Chair: Michael Hanus

Lunch (On Your Own - Discover Madrid!) [13:00-14:30]

Session 3 [14:30-15:30]: Parallelism and Distribution

Chair: Simon Thompson

Coffee Break [15:30-16:00]

Session 4 [16:00-17:45]: Towards Code Quality Assurance

Chair: Andy King

PADL Dinner [approx. 20:00] (paid by PADL)

Location and exact time to be announced.


Tuesday, January 19, 2010

Invited talk [9:00-10:00]

Chair: Ricardo Peña

Coffee Break [10:00-10:30]

Session 5 [10:30-11:45]: Domain Specific Languages

Chair: John Launchbury

Half Coffee Break [11:45-12:00]

Session 6 [12:00-13:00]: Programming Aids

Chair: Terrance Swift

Lunch (On Your Own - Discover Madrid!) [13:00-14:30]

Session 7 [14:30-15:30]: Constraints

Chair: Ricardo Rocha

Coffee Break [15:30-16:00]

Session 8 [16:00-17:45]: Tabling and Agents

Chair: Vitor Santos Costa

End of Symposium [17:45]