Abteilung Theoretische Informatik

	Institut für Formale Methoden der Informatik
	Forschungskontakte

	Abteilung Theoretische Informatik / Formale Sprachen der Universität Tübingen
	Eötvös Loránd Universität Ungarn
	Institut für Algebra, Universität Dresden
	LIAFA Paris
	ENS Cachan, Frankreich
	LaBRI Bordeaux, Frankreich
	Laboratory of Mathematical Logic, Steklov Institut, St. Petersburg, Rußland
	Projekt PROCOPE: Projektbezogener Personenaustausch mit Frankreich

Forschungskontakte