Modal Logic in Informatics (doctorate course)

Modal logic has lots of important applications in computer science, such as in access control. The emphasis in this minicourse is in the shift from the traditional semantic methods of modal logic to a more syntactic, proof-theoretic treatment that supports implementation. The course is at the forefront of current research and requires as prerequisite the content of the minicourse "A primer in proof theory" or equivalent knowledge.

While this course is mainly intended for the doctorate in informatics, also one or the other interested and motivated master student in mathematics or informatics might consider attending the course. The course will partly be given as a reading course; for a reading list with reading instructions please contact Prof. Schuster by email.

Schedule:
Monday 4th July 2016, 12:00-15:00 Sala riunioni piano terra; 15.00-16:00 Sala verde
Thursday 7th July 2016: 09:30-11:30 Sala riunioni piano terra; 16:00-18:00 Sala riunioni piano terra