The 12th ACM SIGPLAN International Conference on Functional Programming
ICFP 2007
Freiburg, Germany, 1-3 October 2007
Co-located with IFL 2007 (September 27-29, 2007)
Schedule
| When? | What? | Where? | |
| 30 Sept. | 8:00 | Registration | Foyer |
| 9:00 |
1. Haskell Workshop 2. Scheme and Functional Programming |
tba tba |
|
| 10:00 | Coffee break | ||
| 10:30 |
1. Haskell Workshop 2. Scheme and Functional Programming |
tba tba |
|
| 12:30 | Lunch break | ||
| 14:00 |
1. Haskell Workshop 2. Scheme and Functional Programming |
tba tba |
|
| 15:30 | Coffee break | ||
| 16:00 |
1. Haskell Workshop 2. Scheme and Functional Programming |
tba tba |
|
| 18:30 | Reception | Main room | |
| 1 Oct. | 8:00 | Registration | Foyer |
| 9:00 | ICFP | Main room | |
| 10:00 | Coffee break | ||
| 10:25 | ICFP | Main room | |
| 11:15 | Coffee break | ||
| 11:40 | ICFP | Main room | |
| 12:30 | Lunch break | ||
| 14:00 | ICFP | Main room | |
| 15:15 | Coffee break | ||
| 15:40 | ICFP | Main room | |
| 16:30 | Coffee break | ||
| 16:55 | ICFP | Main room | |
| 19:00 | ICFP Program Committee Meeting | ||
| 2 Oct. | 8:00 | Registration | Foyer |
| 9:00 | ICFP | Main room | |
| 10:00 | Coffee break | ||
| 10:25 | ICFP | Main room | |
| 11:15 | Coffee break | ||
| 11:40 | ICFP | Main room | |
| 12:30 | Lunch break | ||
| 14:00 | ICFP | Main room | |
| 15:15 | Coffee break | ||
| 15:40 | ICFP | Main room | |
| 16:30 | Coffee break | ||
| 16:55 | ICFP | Main room | |
| 19:30 | Conference Dinner | Schlossbergrestaurant Dattler | |
| 3 Oct. | 8:00 | Registration | Foyer |
| 9:00 | ICFP | Main room | |
| 10:00 | Coffee break | ||
| 10:25 | ICFP | Main room | |
| 11:15 | Coffee break | ||
| 11:40 | ICFP | Main room | |
| 12:30 | Lunch break | ||
| 14:00 | ICFP | Main room | |
| 15:15 | Coffee break | ||
| 15:40 | ICFP | Main room | |
| 16:30 | Coffee break | ||
| 16:55 | ICFP | Main room | |
| 4 Oct. | 8:00 | Registration | Foyer |
| 9:00 | 1. Workshop on Mechanizing Metatheory | tba | |
| 10:00 | Coffee break | ||
| 10:30 | 1. Workshop on Mechanizing Metatheory | tba | |
| 12:30 | Lunch break | ||
| 14:00 | 1. Workshop on Mechanizing Metatheory | tba | |
| 15:30 | Coffee break | ||
| 16:00 | 1. Workshop on Mechanizing Metatheory | tba | |
| Note: The Commercial Users of Functional Programming (CUFP) workshop also takes place at 4th Oct., however, with a slightly different schedule. | |||
| 5 Oct. | 8:00 | Registration | Foyer |
| 9:00 |
1. Erlang Workshop 2. Workshop on ML 3. Programming Languages meets Program Verification |
tba tba tba |
|
| 10:00 | Coffee break | ||
| 10:30 |
1. Erlang Workshop 2. Workshop on ML 3. Programming Languages meets Program Verification |
tba tba tba |
|
| 12:30 | Lunch break | ||
| 14:00 |
1. Erlang Workshop 2. Workshop on ML 3. Programming Languages meets Program Verification |
tba tba tba |
|
| 15:30 | Coffee break | ||
| 16:00 |
1. Erlang Workshop 2. Workshop on ML 3. Programming Languages meets Program Verification |
tba tba tba |
|
The foyer, the main room, and the workshop rooms are located in the Stadthotel Freiburg Kolping Hotels & Resorts.