Share

Meeting Finale progetto INdAM-GNCS "Logica, Automi e Giochi per Sistemi Auto-adattivi"

23 Jan 2017 - 12:00 - 24 Jan 2017 - 14:00
Event category: 
Seminars & Presentations

 

Il 23-24 Gennaio 2017 si svolge il meeting finale del progetto INdAM-GNCS intitolato "Logica, Automi e Giochi per Sistemi Auto-adattivi". Il progetto ha visto la collaborazione di ricercatori del CNR-ISTC e di molte università Italiane: Università di Udine, di Bologna, di Napoli, di Padova, di Salerno e di Verona.

Per il CNR-ISTC hanno partecipato Amedeo Cesta, Andrea Orlandini, Riccardo De Benedictis e Alessandro Umbrico. Il progetto ha favorito la creazione di nuove collaborazioni.

 

Keywords:
  • automata;
  • logic;
  • planning & scheduling;
  • verification and validation