Workshop Programme
DAY 1: TUTORIALS
- 09.00
- Welcome
Seif Haridi, SICS
- 09.15
- Overview of Scientific Achievements
Andreas Podelski, MPI
- 10.00
- Coffee
- 10.30
- Methods and Tools for Concurrent, Parallel, and Distributed Programming
Gert Smolka, DFKI
- 12.00
- Lunch
- 13.30
- Methods and Tools for Combinatorial Problems
Philippe Codognet, INRIA
- 15.00
- Coffee
- 15.30
- Methods and Tools for Numerical Problems
Hoon Hong, RISC
- 17.00
- End
- ~19.00
- Joint dinner/excursion
DAY 2: SCIENTIFIC ACHIEVEMENTS
- 09.00
- The Evolution of CCP
Seif Haridi, SICS
- 09.30
- Foundations
Ugo Montanari, Pisa
- 10.30
- Coffee
- 11.00
- Constraints
Alain Colmerauer, UML
- 12.00
- Lunch
- 13.30
- Analysis and Transformation
Manuel Hermenegildo, UPM
- 14.30
- Break
- 14.45
- Implementation
Seif Haridi, SICS (Penny)
- 15.45
- Coffee
- 16.00
- Panel discussion
- 17.00
- End