[General Information]
[Schedule]
[Audience/Material]
[Evaluation]
General Information
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
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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-4Other 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. |