A3L Logo

Algorithmic Algebra and Logic 2005
Conference in Honor of the 60th Birthday of Volker Weispfenning
last modified Mon, 06 Jun 2005
Home
Dates
Invited Talks
Contributions
Schedule
Committees
Poster

Registration
Accommodation
Travel Information
Maps of Passau

Proceedings

Topics
Submissions
Author Instructions

FAQ
Contact
Important Changes
2005-06-06
Do not miss ordering the conference proceedings.

Time and Place

From Sunday 3 April to Wednesday 6 April 2005 at the University of Passau, Germany.
Registration and welcome reception on Saturday 2 April 2005.

In Honor of the 60th Birthday of Volker Weispfenning

Any work related to former or present research areas of Volker Weispfenning is highly appreciated. This includes but is not at all limited to
  • algebraic model theory
  • effective quantifier elimination
  • Gröbner bases
A comprehensive description of the topics of the conference can be found under Topics. 		Volker Weispfenning