Skip to main content

Event Category

Wydarzenie

Article available in the folowing languages:

Warsztaty i wydarzenie zamykające CASSTING

W dniach 2-3 kwietnia 2016 r. partnerzy finansowanego ze środków UE projektu CASSTING organizują w Eindhoven, Holandia, warsztaty i wydarzenie zamykające.

2 Kwietnia 2016 - 3 Kwietnia 2016
Eindhoven, Niderlandy

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