| > | 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 |