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 http://people.cs.aau.dk/~mardare/teaching.htm

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 (mardare@cs.aau.dk).