3rd Int. School on Rewriting (Obergurgl, Austria, 2008)
Lecturer
9th Int. Workshop on Termination (Paris, France, 2007)
PC co-chair
17th Int. Conf. on Rewriting Techniques and Applications (Seattle, WA, USA, 2007)
Best paper award together with Johannes Waldmann
8th Int. Workshop on Termination (Seattle, WA, USA, 2006)
PC member
Berufsakademie Nordhessen
Bad Wildungen, Germany
phone (+49) 5621 96588-23 | fax (+49) 5621 96588-20
d.hofbauer@ba-nordhessen.de
Arbeitsgruppe Theoretische Informatik
Fachbereich Mathematik,
Fachbereich Elektrotechnik/Informatik
Universität Kassel,
Kassel, Germany
Arbeitsgruppe Theoretische Informatik - Algorithmik und Logik
Institut für Softwaretechnik und Theoretische Informatik
Technische Universität Berlin,
Berlin, Germany
CRIN (Centre de Recherche en Informatique de Nancy) and
INRIA-Lorraine (Institut National de Recherche en Informatique et en Automatique),
Nancy, France
Mühlengasse 16, D-34125
Kassel, Germany
phone (+49) 561 739 29 54
dieter_hofbauer@web.de
Last modified: Tue Oct 28 12:32:09 CET 2008