ILLC Fall 2013
Seminar Mathematical Logic

[General Information]   [Schedule]   [Audience/Material]   [Evaluation]  

General Information

Meeting Term:Semester 1 Period 1 (Sep 2 – Oct 25)
Meeting Times/Places:Tuesday 17:00 – 19:00 sharp, SP A1.14
Thursday 17:00 – 19:00 sharp, SP A1.14
(Note the Thursday room change)
Catelog Number5314SEML3Y
ECTS3
Instructor:Joshua Sack
Email:J.H.Sack AT uva DOT nl

This general information (as well as the rest of the website) will be updated as more information becomes available.

Schedule:

Changes to the original schedule (such as cancelled class or class moved to another day/time/place) will be made in red

date/time location speaker topic
Sep 3: 17–19SP A1.14Joshua SackIntroduction to the Course
Sep 5: 17–18SP A1.20Simon Dochertyω-automata
Sep 5: 18–19SP A1.20Suzanne van WijkInfinite games
Sep 10: 17–18 SP A1.14Roosmarijn GoldbachMemoryless determinacy of parity games
Sep 10: 18–19 SP A1.14Julian SchlöderAlgorithms for parity games
Sep 12: 18–20 SP A1.14Michele CristelliDeterminization of Büchi-automata
Sep 17: 17–19 SP A1.14Tingxiang ZouComplementation of Büchi automata using alternation
Sep 19: 18–20 SP A1.14Yuning FengApplications to model checking: Chapter 4 from
  • C. Baier and J. Katoen. Principles of Model Checking. MIT Press, Cambridge, 2008.
Sep 24: 17–19 SP A1.14Aldo AbarcaNondeterministic tree automata
Sep 26: 18–20 SP A1.14Sarah Mc WhirterProbabilistic automata, from
Oct 1: 17–19 SP A1.14Eiseart DunneAlternating tree automata and parity games
Oct 3: 17–19 SP A1.14Maaike ZwartConnecting automata to modal μ-calculus, drawing from:
Oct 8: 17–19 SP A1.14Fangzhou ZhaiConnecting automata to monadic second-order logic, drawing from:

Intended Audience and Material:

This course is intended for M.Sc. students of Logic who have an interest in specializing in mathematical logic. The topics in the seminar will roughly focus on automata, infinite games, and how these relate to logic. Most of the papers to present will come from the volume Automata, Logics, and Infinite Games, LNCS 2500, 2002. doi:10.1007/3-540-36387-4

Other suggested reading:

Evaluation:

The course is graded on a pass/fail basis. In order to pass, a student will have to give a (typically 45–60 minute-long, but optionally up to 2 hour-long) presentation in class. Attendence/participation is also required.