25th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2015

Siena, IT
July 13-15, 2015

Symposium Program

Monday July 13

08:45-09:50 - LOPSTR/PPDP Registration

09:50-10:00 - Welcome to LOPSTR 2015

10:00-11:00 - Semantics of Logic Languages (Chair: Moreno Falaschi)

Coffee Break - 11:00-11:30

11:30-12:30 - Efficient compilation of functional logic programs (Chair: German Vidal)

Lunch Break - 12:30-14:00

14:00-15:00 - Invited talk (Chair: Hirohisa Seki)

15:00-16:00 - Types and security (Chair: Ricardo Peña)

Coffee Break - 16:00-16:30

16:30-17:30 - Optimization (Chair: Maurizio Proietti)

Tuesday July 14

9:00-10:00 - Invited talk (jointly with PPDP - Chair: Elvira Albert)

Coffee Break - 10:00-10:30

10:30-12:00 - Static analysis (Chair: Michael Codish)

Lunch Break - 12:30-14:00

14:00-15:00 - Program debugging and slicing (Chair: Sergio Antoy)

15:00-16:00 - Automated Verification I (Chair: Alberto Pettorossi)

Coffee break - 16:00-16:30

16:30-17:30 - Logic-based tools for memory analysis and Smart Environments (Chair: Herbert Kuchen)

Wednesday July 15

9:00-10:00 - Invited talk (jointly with PPDP -- Chair: Moreno Falaschi))

Coffee Break - 10:00-10:30

10:30-11:30 - Constraint Solving and Programming (Chair: Michael Hanus)

11:30-13:00 - Automated Verification II (Chair: Michael Hanus)

Lunch Break - 13:00-14:30

18:30-20:30 Excursion

20:30 Social Dinner (Rectorate Palace)