DFG-Graduiertenkolleg: GRK 806/2 Mathematische Logik und Anwendungen

• Studienprogramm
  • Graduiertenkolloquium SS 2008 (WS 2007/2008, SS 2007, WS 2006/2007)
  • Vorlesungen und Seminare
• Graduiertenkollegs in Freiburg

• Kollegiaten und Postdoktoranden des Graduiertenkollegs

• This page in English

Abschlusskolloquium des Graduiertenkollegs

Vom 11.-12.September 2008 fand das Abschlusskolloquium des Graduiertenkollegs an der Fakultät für Angewandte Wissenschaften in Freiburg statt. Das Kolloquium umfasste vier Keynote-Vorträge von Thomas Eiter (TU Wien, Vortragsfolien (.pdf)), Michael Huth (Imperial College, Vortragsfolien (.pdf)), Alexander Prestel (U. Konstanz) und Victor Vianu (U.C. San Diego). Ergänzend trugen die Stipendiaten des Graduiertenkollegs über ihre Forschungsergebnisse vor.

• Abstracts und Folien der Keynote-Vorträge
• Download des Programms der Veranstaltung

Conference on the Model Theory of Fields:

Im Anschluss an das Abschlusskolloquium fand vom 13.-15. September 2008 eine vom Graduiertenkolleg unterstützte Konferenz zur Modelltheorie von Körpern statt. Nähere Informationen sowie das Programm finden Sie auf der Konferenzseite.

Graduiertenkolleg:

Im 20. Jahrhundert hat sich die Mathematische Logik von einer zunächst mehr grundlagentheoretisch orientierten Wissenschaft zu einer mathematischen Disziplin erweitert, deren Sichtweisen, Methoden und Ergebnisse zu einer Bereicherung traditioneller mathematischer Gebiete beitragen. Mannigfaltige Verflechtungen mit der Informatik, die in Teilen selbst aus der Mathematischen Logik hervorgegangen ist, haben zu einer wechelseitigen Förderung beider Wissenschaften geführt. Die Arbeit der Informatiker aus Freiburg und der Logiker aus Freiburg und Konstanz, die das Graduiertenkolleg tragen, war schon vor Einrichtung des Graduiertenkollegs in weiten Teilen durch diese Bezüge geprägt.

Mit dem Graduiertenkolleg wird diese "gelebte" Verflochtenheit von Logik und Mathematik/Informatik in Forschung und Lehre weiterhin intensiviert. Das Graduiertenkolleg will die vorhandene Kompetenz durch ein aufeinander abgestimmtes, attraktives Lehr- und Forschungsprogramm an Jüngere weitergeben.

Forschungsschwerpunkte:

Model-Checking

Hierbei handelt es sich um einen Fragenkreis im Grenzgebiet zwischen Mathematischer Logik und Informatik: er verbindet die endliche Modelltheorie, das modelltheoretische und berechenbarkeitstheoretische Studium endlicher Strukturen, mit Kernproblemen der Informatik. Die fachliche Kompetenz sowohl bei den anwendungsrelevanten als auch bei den theoretischen Aspekten soll eine breite Behandlung des Themas sicherstellen. In verschiedenen industriellen Bereichen, so etwa im Protokoll- und Hardwareentwurf, werden Spezialisten im Model-Checking dringend gesucht.

Modelltheorie arithmetischer Strukturen

Hierbei handelt es sich um einen doppelten Zusammenhang zwischen Algebra und mathematischer Logik, nämlich Anwendungen der Algebra und der Rekursionstheorie zur Lösung von Entscheidbarkeitsproblemen, und Anwendungen der Modelltheorie zur Lösung rein algebraisch-arithmetischer Fragen, etwa in der algebraischen Geometrie.

Liste der beteiligten Professoren:

• Prof. Dr. Bernd Becker, Fakultät für Angewandte Wissenschaften
• Prof. Dr. Jörg Flum, Fakultät für Mathematik und Physik
• PD. Dr. Jochen Koenigsmann, Fakultät für Mathematik und Physik
• Prof. Dr. Georg Lausen, Fakultät für Angewandte Wissenschaften
• Prof. Dr. Bernhard Nebel, Fakultät für Angewandte Wissenschaften
• Prof. Dr. Andreas Podelski , Fakultät für Angewandte Wissenschaften
• Prof. Dr. Alexander Prestel, Fachbereich für Mathematik und Statistik der Universität Konstanz
• Prof. Dr. Martin Ziegler, Fakultät für Mathematik und Physik

Sprecher des Graduiertenkollegs:

Prof. Dr. Georg Lausen
Lehrstuhl Datenbanken und Informationssysteme
Albert-Ludwigs-Universität Freiburg
Georges-Köhler Allee, Geb. 51
D-79110 Freiburg i. Br.
Tel. (0761) 203-8121 (Sekr. -8180, Fax -8182)
E-mail: lausen(at)informatik.uni-freiburg.de
WWW-Adresse: http://dbis.informatik.uni-freiburg.de/index.php?file=lausen.html