Seminarium skupia się na bardziej zaawansowanych tematach skończonej i algorytmicznej teorii modeli. Skierowane jest do słuchaczy przedmiotów ,,Wybrane tematy teorii modeli skończonych i złożoności opisowej'' oraz ,,Problemy decyzyjne w logice'', ale mogą w nim też wziąć osoby zainteresowane logiką, które we własnym zakresie nadrobią podstawowe pojęcia (gry Erenfauhta Fraisego, (nie)rozstrzygalność logiki pierwszego rzędu).
**Termin i tryb seminarium:**
Termin seminarium zostanie ustalony podczas pierwszego spotkania. Seminarium będzie prowadzone online.
Seminarium będzie prowadzone przez Bartosza Bednarczyka oraz Piotra Ostropolskiego-Nalewaję.
