Warsztaty i wydarzenie zamykające CASSTING
Warsztaty mają zgromadzić naukowców zajmujących się tematami związanymi (w szerokim rozumieniu) z formalnymi metodami automatycznej weryfikacji i syntezy układów złożonych. Zaplanowano cztery wykłady zaproszonych prelegentów i prelekcje prezentujące prace oryginalne lub już opublikowane.
Przewidziano następujące tematy:
- Gry do syntezy złożonych systemów obliczeniowych.
- Gry grane na złożonych i nieskończonych grafach.
- Gry z celami ilościowymi.
- Gry z niekompletnymi informacjami i nadmiernie dynamicznymi strukturami.
- Heurystyka skutecznego rozwiązywania gier.
Warsztaty poprzedzą edycję 2016 konferencji ETAPS (European Joint Conferences on Theory and Practice of Software). Główna konferencja ETAPS odbędzie się w dniach 4-8 kwietnia 2016 r.
Więcej informacji:
strona wydarzenia
