24th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2014

Canterbury, UK
September 9-11, 2014

Symposium Program

Tuesday 9 September

11:30-12:30 - Registration

Lunch - 12:30-13:30

13:45-14:00 - Welcome to LOPSTR 2014

14:00-15:00 - Program Analysis and Transformation (Chair: H. Seki)

Break - 15:00-15:15

15:15-16:15 - Constraint Handling Rules I (Chair: A. Pettorossi)

Break - 16:15-16:30

16:30-17:30 - Termination Analysis (Chair: G. Vidal)

Wednesday 10 September

9:00-10:00 - Invited talk (jointly with PPDP - Chair: O. Danvy)

Break - 10:00-10:15

10:15-11:15 - Security (Chair: H. Christiansen)

Break - 11:15-11:30

11:30-12:30 - Program Testing and Verification (Chair: W. Drabent)

Lunch break - 12:30-13:30

13:30-14:30 - Program Synthesis (Chair: D. De Schreye)

Excursion and Social Dinner

Thursday 11 September

9:00-10:00 - Invited talk (Chair: M. Proietti)

Break - 10:00-10:15

10:15-11:15 - Program Synthesis and Derivation (Chair: A. Lisitsa)

Break - 11:15-11:30

11:30-12:30 - Semantic Issues in Logic Programming (Chair: M. Brain)

Lunch break - 12:30-13:30

14:00-15:00 - Constraint Handling Rules II (Chair: J. Howe)

Break - 15:00-15:15

15:15-16:15 - Program Translation and Optimization (Chair: H. Seki)

16:15-16:30 Closing Remarks