Odense Summer on Logic and Programming
University of Southern Denmark, Odense, Denmark
July 18 - 22, 2011
>
Overview
>
Venue
>
Travel
>
Accommodation
>
Registration
>
Shuttle Bus
>
Schedule
>
Photos
>
Contact
Overview
The Odense Summer in Logic and Programming brings together the following events:
21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)
4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)
Monday
Tuesday
Wedensday
Thursday
Friday
LOPSTR
LOPSTR
LOPSTR
PPDP
PPDP
PPDP
WFLP
AAIP
WS DINNER
BANQUET