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(odnośnik otworzy się w nowym oknie)