Zapraszamy na serię wykładów „Formal Verification of Multi-Agent Systems. Why, What, and Especially: How?” prowadzoną przez prof. Wojciecha Jamrogę, jednego z czołowych specjalistów w dziedzinie systemów wieloagentowych, logiki formalnej i weryfikacji oraz pracownika Wydziału Matematyki i Informatyki UMK. Wykłady będą odbywały się w środy w godz. 10:30-12:00. Pierwszy wykład już 26.11.2025 r. w Auli WMiI.
To wyjątkowa okazja, by poznać praktyczne metody analizy i projektowania złożonych systemów inteligentnych.
Wykłady otwarte są dla wszystkich zainteresowanych!
Uczestnicy wykładów poznają podstawy automatycznej weryfikacji, kluczowe własności temporalne, epistemiczne i strategiczne, a także najświeższe wyniki badań nad niepełnymi algorytmami model checking i redukcjami modeli. W trakcie wykładu prezentowane są również narzędzia eksperymentalne pozwalające specyfikować i weryfikować systemy wieloagentowe w praktyce.
Poniżej można znaleźć opis wykładów i terminy spotkań.
Title: Formal Verification of Multi-Agent Systems. Why, What, and Especially: How?
Abstract:
The course offers an introduction to recent advances in formal verification of intelligent agents and multi-agent systems. The focus is on accessible presentation and simple examples, without going into the involved mathematical machinery.
Automated verification of discrete-state systems has been a hot topic in computer science for over 40 years. The idea found its way into AI and multi-agent systems in late 1990’s, and techniques for verification of such systems have been in constant development since then. Model checking of temporal, epistemic, and strategic properties is one of the most prominent and most successful approaches here. In this course, wepresent a brief introduction to the topic, and mention relevant properties that one might like to verify this way. Then, we describe some recent results on incomplete model checking algorithms and model reductions, which can potentially lead to practical solutions for the notoriously hard problem. On the way, we also present some experimental tools which can be used to specify and verify multi-agent systems.
Terminy wykładów:
środy 10:30-12:00
26.11. WMiI AULA
17.12. WMiI AULA
14.01. WMiI AULA
4.02. WMiI S9 <----- uwaga inna sala!
25.02. WMiI AULA
Wszystkie spotkania są dostępne w kalendarzu: