Friday Afternoon Seminar

This is a (virtual) seminar on topics related to automata and logic happening every two months. You can subscribe to the mailing list here.

We didn't schedule new seminars.