24 marca 2026 r. odbyło się kolejne seminarium Zespołu Climatrix Lab. Poświęcono je możliwości wykorzystania powstających na Wydziale Matematyki i Informatyki UMK narzędzi informatycznych służących do analizy systemów wieloagentowych w badaniach społecznych.
Mgr Damian Kurpiewski i mgr Mateusz Kamiński zaprezentowali: STV (strategy verifier) – oprogramowanie wspierające modele probabilistyczne, natomiast dr Marcin Piątkowski i prof. Łukasz Mikulski: ReactICS (Reaction Systems Verification Toolkit) – aplikację służącą do weryfikacji własności temporalnych procesów modelowanych jako rozproszone systemy reakcyjne z regularnym kontekstem.
Życzymy powodzenia i z niecierpliwością czekamy na nowe, ciekawe modele, które powstaną w ramach prac Zespołu!
Climatrix Lab to interdyscyplinarny projekt realizowany przez Zespół Naukowców z Wydziału Nauk o Polityce i Bezpieczeństwie oraz Wydziału Matematyki i Informatyki UMK w Toruniu w ramach POB (Priorytetowych Obszarów Badawczych).