Convenzione IASI-INδAM
L'Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" (IASI) del Consiglio Nazionale delle Ricerche (CNR) è sede di una Unità di Ricerca dell'Istituto Nazionale di Alta Matematica "Francesco Severi" (INδAM). La collaborazione tra IASI e INδAM è regolata da apposita convenzione
Direttrice dell'unità di ricerca
Sara Mattia
posizione IASI-CNR: prima ricercatrice (II livello)
gruppo INδAM: GNAMPA
Componenti strutturati IASI dell'unità di ricerca INδAM
nome e cognome posizione IASI-CNR gruppo INδAM di appartenenza Alessandro Borri primo ricercatore (II livello) GNAMPA Emanuele De Angelis ricercatore (III livello) GNCS Guglielmo De Angelis ricercatore (III livello) GNCS Claudio Gentile dirigente di ricerca (I livello) GNAMPA Maurizio Proietti primo ricercatore (II livello) GNCS Daniele Santoni primo ricercatore (II livello) GNCS
Attività dell'unità di ricerca
Progetti di ricerca2024: GNAMPA, Ottimizzazione con decisori multipli e incertezza nei dati (S. Mattia)Professori visitatori
2022: GNAMPA, Ottimizzazione con incertezza (S. Mattia)
2020: GNAMPA, Ottimizzazione Bilivello (S. Mattia)
2016: GNCS giovani ricercatori, Verifica formale di modelli e programmi basata sulla trasformazione di clausole di Horn con vincoli (E. De Angelis)
2015: GNCS giovani ricercatori, Sintesi di verificatori per linguaggi concorrenti (E. De Angelis)
2015: GNCS, Generazione automatica delle asserzioni per la verifica di programmi da semantiche formali (M. Proietti)
2013: GNCS giovani ricercatori, Verifica di programmi imperativi mediante trasformazione di programmi logici con vincoli (E. De Angelis)2025: 14 gg, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)Contributi per organizzazione di convegni, scuole e workshop
2021: 30 gg, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)
2020: 21 gg, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)
2017: 14 gg, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)2024: Convegno Italiano di Logica Computazionale, CILC 2024 (E. De Angelis)Contributi per partecipazione a conferenze e workshop2025: ODS 2025, 1-4 settembre 2025, Milano, Italia (S. Mattia)
2023: ODS 2023, 4-7 settembre 2023, Ischia, Italia (S. Mattia)
2022: ODS 2022, 30 agosto - 2 settembre 2022, Firenze, Italia (S. Mattia)
2020: CTW 2020, 14-16 settembre 2020 online (S. Mattia)
2019: 6th Workshop on Horn Clauses for Verification and Synthesis, Praga, Repubblica Ceca, 7 aprile 2019 (E. De Angelis, M. Proietti)
2019: MINOA 2019, 25-28 giugno 2019, Ischia, Italia (S. Mattia)
2018: ODS 2018, 10-13 settembre 2018 Taormina, Italia (S. Mattia)