18th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2008

Valencia, Spain
July 17-18, 2008

Symposium Program

Thursday, July 17, 2008

9:00 - 10:00: Session 1 (LOPSTR Invited Talk, Chair: Michael Hanus)

Short break

10:15 - 11:15: Session 2 (Chair: Germán Puebla)

Coffee break

11:45 - 13:45: Session 3 (Chair: Tom Schrijvers)

Lunch and Excursion

Friday, July 18, 2008

9:00 - 10:00: Session 4 (SAS Invited Talk)

Short break

10:15 - 11:15: Session 5 (Chair: Maria Alpuente)

Coffee break

11:45 - 13:15: Session 6 (Chair: John Gallagher)

Lunch

15:00 - 16:00: Session 7 (Chair: Germán Vidal)

Coffee break

16:30 - 17:30: Session 8 (Chair: Josep Silva)


Michael Hanus

Last modified: Wed Jul 9 11:53:33 CEST 2008