Salta al contenuto principale
Istituto di Scienze e Tecnologie della Cognizione
Toggle navigation
Istituto
Presentazione
Missione
Persone
Sedi
Organigramma
Storia
Ricerca
Macro aree
Gruppi
Progetti
Pubblicazioni
Banche dati
Media center
News
Eventi
Eventi passati
Video
Biblioteca
Informazioni
Cataloghi
Risorse
Servizi
Lavora con noi
Bandi
Gare
Avvisi
Login
Cerca
Home
automata
automata
VIII International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)
da
20 Set 2017 - 09:00
a
22 Set 2017 - 13:00
The Eighth International Symposium on Games, Automata,
Conferences & Workshops
Formal Verfication
Games
automata
Meeting Finale progetto INdAM-GNCS "Logica, Automi e Giochi per Sistemi Auto-adattivi"
da
23 Gen 2017 - 12:00
a
24 Gen 2017 - 14:00
Seminars & Presentations
verification and validation
planning & scheduling
automata
