Division of Theoretical Computer Science

	Institute of Formal Methods in Computer Science
	Research Contacts

	Division of Theoretical Computer Science / Formal Languages of the University of Tübingen
	Eötvös Loránd University, Hungary
	Institute for Algebra, University of Dresden
	LIAFA Paris
	ENS Cachan, France
	LaBRI Bordeaux, France
	Laboratory of Mathematical Logic, Steklov Institut, St. Petersburg, Rußland
	Project PROCOPE: Pproject based exchange of people with France

Research Contacts