DFG-Graduiertenkolleg: GRK 806/2 Mathematical Logic and Applications

• Study program
  • Graduiertenkolloquium SS 2008 (WS 2007/2008, SS 2007, WS 2006/2007)
  • Lectures and seminars
• Graduate Schools in Freiburg

• Graduates and Postgraduates

• Diese Seite auf deutsch

Closing Colloquium Session

The closing session of the Graduiertenkolloquium took place on 11-12 September 2008 at the Fakultät für Angewandte Wissenschaften in Freiburg. The event comprised four interesting keynotes from Thomas Eiter (TU Wien, Slides (.pdf)), Michael Huth (Imperial College, Slides (.pdf)), Alexander Prestel (U. Konstanz), and Victor Vianu (U.C. San Diego). In addition, the graduates reported on interesting results in their research.

• Abstracts of the keynote talks
• Download the schedule

Conference on the Model Theory of Fields:

Subsequent to the closing colloquium session from September 13 - 15 2008 there will be a small conference on the model theory of fields. Detailed information and the preliminary program can be found at the conference site.

Graduiertenkolleg

Over the past century, mathematical logic has developed from a foundationally oriented science to a mathematical discipline, enriching traditional areas of mathematics with new ideas, methods, and results. The numerous and diverse connections to computer science, whose origins lies in part in mathematical logic, have led to the mutual advancement of both disciplines. This Graduiertenkolleg focuses on the interplay between logic and computer science/mathematics.

The Graduiertenkolleg addresses a coherent subject matter ranging from fundamental algebraic questions to applications in the information technology. The studies program is constructed so that participating graduate students and postdoctoral fellows develop a broad expertise in these topics.

Research

• Model-checking problems in the theory of databases, artificial intelligence and program verification.
• The model theory of arithmetic structures and algebraic/geometric methods in model theory.

List of participating professors

• 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

Chair of the graduate program

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