PhD EuroConference
FOUNDATIONS OF THE FORMAL SCIENCES III

Complexity in Mathematics and Computer Science

FotFS III is a satellite meeting of the joint meeting of the Deutsche Mathematikervereinigung and the Österreichische Mathematische Gesellschaft:

Part of our agreement with the ÖMG is that all participants of FotFS III are entitled to join the "Sektion 4: Mathematische Logik, Theoretische Informatik" at the ÖMG-Kongress for free. The logic section will meet on Thursday afternoon (i.e., one day before the start of our conference). If you are already in Vienna, we happily invite you to attend the talks of this section.

The following is the program of "Sektion 4" (without any guarantee - please check the Kongreß website for the most current information):

Thursday, September 20th, 2001

14.00	Phokion G. Kolaitis, University of California, Santa Cruz
	Reflections on Finite Model Theory
15.00	David Aspero, Universitaet Wien
	Forcing absoluteness for formulas and the continuum problem
15.30	Heike Mildenberger, Universitaet Wien
	Some implications in infinite combinatorics
16.00	Break
16.30	Peter Schuster, Universitaet Muenchen
	Entferntsein als konstruktiver Weg zur Topologie
17.00	Endre Koevesi, Wien
	The Puzzle of Transfinite Integers
17.30	Franz Pauer, Universitaet Innsbruck
	Lineare Systeme partieller Differenzengleichungen und Groebnerbasen