Skip to main content
Istituto di Scienze e Tecnologie della Cognizione
Toggle navigation
Institute
Presentation
Mission
People
Locations
Staff
History
Research
Research areas
Groups
Projects
Publications
Databases
Media center
News
Events
Past Events
Video
Library
Information
Catalogues
Resources
Services
Work with us
Vacancies
Tenders
Login
Search
Home
automata
automata
VIII International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)
20 Sep 2017 - 09:00
to
22 Sep 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"
23 Jan 2017 - 12:00
to
24 Jan 2017 - 14:00
Seminars & Presentations
verification and validation
planning & scheduling
automata