Reading Course on Automata and Logic

Organizer: Michael Benedikt

The course will be based on reading several published papers, and on this draft of course notes .

There will be an introductory meeting

Wednesday, January 20

In that meeeting we will discuss the course. You might glance at the course overview. The remaining schedule is:

For MFoCS students the course is examined via mini-project.