A3L Logo

Algorithmic Algebra and Logic 2005
Conference in Honor of the 60th Birthday of Volker Weispfenning

last modified Fri, 01 Apr 2005
Home
Dates
Invited Talks
Contributions
Schedule
Committees
Poster

Registration
Accommodation
Travel Information
Maps of Passau

Proceedings

Topics
Submissions
Author Instructions

FAQ
Contact

Conference Program Schedule

In our schedule below, all talks are named after the first author of the corresponding paper. This is not necessarily the presenter.

The schedule may still change. Please, keep an eye on it.

Saturday Sunday Monday Tuesday Wednesday
2 April 05 3 April 05 4 April 05 5 April 05 6 April 05
09:00-09:30 Registration Reinert Conti Takahashi
09:30-10:00 Opening Bodnar Landsmann Ullrich
10:00-10:30 Anai Brown, de Vlaming Brown, El Kahoui Prunescu
10:30-11:00 E. Becker Break Break Break
11:00-11:30 E. Becker Volger Manubens Pustylnikov
11:30-12:00 Lunch T. Becker Hearn Strzebonski
12:00-12:30 Lunch T. Becker Hearn Ratschan
12:30-13:00 Lunch Lunch Lunch Lunch
13:00-13:30 Wang Lunch Lunch Lunch
13:30-14:00 Beaumont Diaz-Toca Diaz-Toca, G.-Vega Sato
14:00-14:30 Yanami Fioravanti Marinari Suzuki
14:30-15:00 Draheim Göbel Nabeshima Ayad
15:00-15:30 REDUCE Break Break Break Closing
15:30-16:00 Developers Küchlin Gutierrez Norman
16:00-16:30 Meeting Kredel Jeffrey Xia
16:30-17:00 Größlinger DeLoera Perez-Diaz
17:00-17:30 Snelting
17:30-18:00 Discussion
18:00-18:30 Registration Discussion
18:30-19:00 and
19:00-19:30 Welcome Bus to
19:30-20:00 Reception Walk to Dinner
20:00-20:30 Boat