PhD course: Introduction to Logic and Model Theory

For the period 24 November-12 December 2011, Kim Guldstrand Larsen and Radu Mardare will organize the PhD course “Introduction to Logic and Model Theory” at Aalborg University. The course is research-based and will introduce the main concepts from logic and model theory focusing on classical first order logic and modal logics.

The course will be divided in 6 lectures, 3 hours per lecture. You can find more information and the schedule at

The course is addressed to PhD students, but anybody is welcome to attend it.

For institutions outside Aalborg the course may be followed as a video-conference. For technical advice please contact Radu Mardare (