[Back to
search results]

Aachen-Freiburg-Mainz-Seminar

Description of the project:
- no english description available -

Halbjährliche Arbeitstagung in endlicher Modelltheorie der RWTH Aachen, der Albert-Ludwigs-Universität Freiburg und der Johannes-Gutenberg-Universität Mainz; findet wechselweise an den drei beteiligten Universitäten statt.

Additional information: http://speedy.informatik.rwth-aachen.de/WWW/FMT.html
Phone: 0761 / 203-5602
Email: logik@sun2.mathematik.uni-freiburg.de
Runtime:
Start of project: 1995
End of project: (unlimited)
Project Management:
Albert-Ludwigs-University Freiburg
Prof. Dr. H.-D. Ebbinghaus, Prof. Dr. Jörg Flum, PD Dr. Martin Grohe
Abteilung für Mathematische Logik

Ernst-Zermelo-Str. 1
79104 Freiburg i. Br.
Germany

Phone: 0761 203 5602
Email: ricarda.samek@math.uni-freiburg.de
http://logik.mathematik.uni-freiburg.de/
Actual Research Report
Keywords:
    endliche Modelltheorie, Aachen, Freiburg, Mainz
project-related publications:
  • Martin Grohe, Thomas Schwentick: Locality of order-invariant first-order formulas ACM Trans. Comput.Log, 2000; 1 (1): 112-130.