Seminarium poświęcone jest automatom skończonym, algorytmom uczenia maszynowego oraz ich zastosowaniom w różnych dziedzinach. Program obejmuje zagadnienia od podstaw teoretycznych po zaawansowane metody uczenia i wykorzystanie automatów w różnych dziedzinach, w tym w weryfikacji formalnej. Przygotowanie i prezentacja wybranego tematu umożliwiają rozwinięcie umiejętności analizy, pracy z literaturą naukową oraz komunikowania złożonych zagadnień.
Każdy uczestnik dostanie jeden temat do przygotowania i zaprezentowania reszcie grupy.
