Skip to main content

Event Category

Evento

Article available in the folowing languages:

Workshop ed evento finale CASSTING

Il progetto CASSTING, finanziato dall’UE, terrà il suo workshop ed evento finale a Eindhoven, Paesi Bassi, il 2 e 3 aprile 2016.

2 Aprile 2016 - 3 Aprile 2016
Eindhoven, Paesi Bassi

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