MATH 7820: Logic Seminar (spring 2009)

Instructor: Anil Nerode

MATH 7820 will consist primarily of presentations of papers of current interest in set theory, model theory, computability theory, proof theory. This will include a coherent series of student lectures on automata and logical systems and communicating agent networks.