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

The program focuses on the applications of mathematical logic in computer science and algebra, including:

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¹, Technische Fakultät
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⁴, Technische Fakultät
Prof. Dr. Bernhard Nebel⁵, Technische Fakultät
Prof. Dr. Andreas Podelski ⁶, Technische Fakultät
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

For further questions please contact the chair of the Graduiertenkolleg or send an e-mail to pfeiffer(at)informatik.uni-freiburg.de¹⁰.

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¹²

¹³

Links

March
Mo	Tu	We	Th	Fr	Sa	Su
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

http://www.informatik.uni-freiburg.de/%7Ebecker

http://logik.mathematik.uni-freiburg.de/personen/Flum.html

http://www.mathe.uni-konstanz.de/homepages/koenigsm/

http://www.informatik.uni-freiburg.de/%7Elausen

http://www.informatik.uni-freiburg.de/%7Enebel

http://www.informatik.uni-freiburg.de/%7Epodelski/

http://www.math.uni-konstanz.de/%7Eprestel/

http://www.mathe.uni-konstanz.de/

http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html

mailto:pfeiffer@informatik.uni-freiburg.de

mailto:lausen@informatik.uni-freiburg.de

http://dbis.informatik.uni-freiburg.de/index.php?file=lausen.html

http://gradlog.informatik.uni-freiburg.de/gradlog/index_en.html