Final CASSTING workshop and event
2 April 2016 - 3 April 2016
Eindhoven, Netherlands
The workshop aims to bring together researchers working on topics related (in a wider sense) to formal methods for the automatic verification and synthesis of complex systems. The workshop will be composed of four invited talks, together with contributed talks (presenting either original or already published work).
Topics of interest include:
- Games for the synthesis of complex computational systems
- Games played on complex and infinite graphs
- Games with quantitative objectives
- Games with incomplete information and over dynamic structures
- Heuristics for efficient game solving
The workshop will be held before the 2016 edition of the ETAPS (European Joint Conferences on Theory and Practice of Software) conference. The main ETAPS conference will take place from 4 to 8 April 2016.
For further information please see:
project event webpage(opens in new window)
Topics of interest include:
- Games for the synthesis of complex computational systems
- Games played on complex and infinite graphs
- Games with quantitative objectives
- Games with incomplete information and over dynamic structures
- Heuristics for efficient game solving
The workshop will be held before the 2016 edition of the ETAPS (European Joint Conferences on Theory and Practice of Software) conference. The main ETAPS conference will take place from 4 to 8 April 2016.
For further information please see:
project event webpage(opens in new window)