Arbeitstreffen der C-Projekte im SFB 378
18. Oktober 1996
Das Treffen dient dem Austausch der C-Projekte im SFB 378. Es soll sehr
diskussionslastig sein, daher können nicht alle Beteiligten vortragen.
Kontakt:Claire Gardent und Michael Kohlhase
Ort
Raum 022 (Erdgeschoss) im MPI-Gebaeude
Programm
Dies Programm ist sehr vorläufig und sollte nur als Anregung und Rahmen verstanden
werden.
- Session 1 Prinzipielles der Projekte
- 9:00 - 9:30 Claire Gardent LISA
- 9:30 - 10:00 Manfred Pinkal CHORUS
- 10:00 - 10:30Kaffeepause
- Session 2 Fachvorträage
- 10:30 - 11:00 Karsten Konrad Farbenfrohe Merkmale
- 11:00 - 11:30 Susanna Kuschert Vom statischen zu einem Dynamischen lambda-Kalkül
- 11:30 - 12:30 Peter Ruhrberg Equality Upto Constraints
- 12:30-14:30 Mittagspause
(Essen im Stuhlsatzenhaus, hinterher Spaziergang)
- Session 3 Perspektivisches