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:
15. ÖMG-Kongress
/ Jahrestagung der Deutschen Mathematikervereinigung.
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 |