Logic List Mailing Archive

60th Birthday of Volker Weispfenning: "Algorithmic Algebra and Logic" (Passau, April 2005)

Algorithmic Algebra and Logic 2005

Passau, Germany

April 3--6, 2005

This event is in honor of the sixtieth birthday of Volker Weispfenning.
Topics include, but are not limited to: algebraic model theory, effective
quantifier elimination, and Groebner bases. The General Chair of the
conference is T. Sturm, and the Program Chair is A. Dolzmann. For further
information, visit the website below.

http://www.a3l.org/