Graduate School Mathematical Logic and Application

The postgraduate course "Mathematical Logic and  Application is supported by computer scientists from the Faculty of Applied Sciences at Freiburg and logicians from the Faculties of Mathematics and Physics / Mathematics and Statistics at the Universities of Freiburg and Constance. Its aim is to clarify and consolidate interconnections between logic and mathematics/computer science, passing on existing expertise through an attractive teaching and research program. Accordingly, the course’s main areas of research are "model checking" and "model theory of arithmetic structures", two fields lying on the border between mathematical logic and computer science.

During the 20th century, mathematical logic has grown, from a science concerned primarily with fundamental theory, into a discipline that has enriched traditional areas of mathematics with its own perspective, methods and findings. Its numerous and diverse links with computer science, which has its origins, in part, in mathematical logic, have led to the mutual advancement of both disciplines. The work of the Freiburg computer scientists and the Freiburg and Constance logicians was largely characterized by these links even before the postgraduate course was set up.