Workshop ed evento finale CASSTING
Il workshop intende riunire i ricercatori impegnati nei temi riguardanti (in senso lato) i metodi formali per la verifica automatica e la sintesi dei sistemi complessi. Sarà suddiviso in quattro conferenze su invito e interventi contributivi (con presentazione di lavori originali o già pubblicati).
I temi riguarderanno tra l’altro:
- Giochi per la sintesi dei sistemi di calcolo complessi
- Giochi giocati su grafica complessa e infinita
- Giochi con obiettivi quantitativi
- Giochi con informazioni incomplete e strutture superdinamiche
- Heuristica applicata alla risoluzione efficace dei giochi
Il workshop si svolgerà prima dell’edizione 2016 della conferenza ETAPS (European Joint Conferences on Theory and Practice of Software). La conferenza principale ETAPS si terrà dal 4 all’8 aprile 2016.
Per ulteriori informazioni, consultare:
Pagina web del progetto