A picture of Fabio Fioravanti

Hello world!

I'm associate professor in Computer Science (SSD 01/B1) at the University "G. d'Annunzio" of Chieti - Pescara (Italy).

Featured News

- Habilitation as Full Professor (SSD 01/B1 - Computer Science)
- Habilitation as Full Professor (SSD 09/H1 - Information Processing Systems)
- Habilitation as Full Professor (SSD 01/A1 - Mathematical Logic)

- "G. d'Annunzio" University of Chieti - Pescara representative on the board of directors of CINI, the Italian National Interuniversity Consortium for Informatics
- Director of the "G. d'Annunzio" University of Chieti - Pescara unit of the CINI Cybersecurity National Laboratory
- Member of the scientific board of the Italian national PhD program in Blockchain and Distributed Ledger Technology
- Member of the scientific board of the PhD program in Computer Science and Mathematics of the University of Camerino

- Member of the steering committee of the Logic-Based Program Synthesis and Transformation Symposium (LOPSTR)
- Co-founder and member of the steering committee of the Horn Clauses for Verification and Synthesis Workshop (HCVS), since 2014

- A web interface for VeriMAP, a system for verifying programs using transformation of Constrained Horn Clauses and SMT solvers, is available

- Program committee member ICLP 2023, AAAI 2023, AIxIA 2022, LOPSTR 2022, HCVS 2022, CILC 2022, ICLP Doctoral Consortium 2022,
- Chair of the AIxIA (The Italian Association for Artificial Intelligence) committee for conferring the Doctoral Dissertation Award 2021 to the author of a PhD thesis in Artificial Intelligence.

- Secretary of the Italian Association for Logic Programming (GULP)
- Co-editor of the Association for Logic Programming newsletter for the area of Analysis and Verification

- I gave an invited tutorial at LOPSTR 2018 on Constrained Horn Clauses (CHCs). Topics: Constrained Horn Clauses (CHC) for verification; Satisfiability-preserving CHC transformation rules and strategies; Semantics-based translation to CHC; CHC specialization as CHC solving; Verification of relational properties such as equivalence, functionality, non-interference (relational program verification); Verification of programs with inductively-defined data structures (e.g., lists and trees); Verification of time-aware business processes. (Slides)

Research

My research interests include
- Constrained Horn Clauses (CHCs), constraint logic programming (CLP) and their use in analysis, verification and testing. I'm one of the promoters and members of the steering committee of HCVS (Workshop on Horn Clauses for Verification and Synthesis) ;
- program transformation methodologies for development, verification and synthesis of programs;
- artificial intelligence;
- cybersecurity;
- bioinformatics, and, in particular, systems biology;

Archived News

- Program committee member ICLP Doctoral Consortium 2021, CILC 2021, HCVS 2021
- Program committee member IJCAI-PRICAI 2020, ECAI 2020, ICLP Doctoral Consortium 2020, HCVS 2020, CILC 2020
- Program committee member IJCAI 2019, ICLP 2019, ICLP Doctoral Consortium 2019, HCVS 2019, CILC 2019
- Program committee member ICLP Doctoral Consortium 2018
- Guest editor for the Fundamenta Informaticae special issue on LOPSTR 2017
- Invited tutorialist at LOPSTR 2018 (slides)
- HCVS 2018. 5th Workshop on Horn Clauses for Verification and Synthesis. Affiliated with CAV, ICLP and IJCAR at FLoC 2018. 13 July 2018 · Oxford, UK.
- I'm one of the LOPSTR 2017 Program Chairs
- HCVS 2017. 4th Workshop on Horn Clauses for Verification and Synthesis. Affiliated with CADE 2017. August 7, 2017, Gothenburg, Sweden (PC)
- CP/ICLP-DC-2017. Joint CP/ICLP Doctoral Consortium. August 28, 2017, Melbourne, Australia. (PC)
- CILC 2017. 32nd Italian Conference on Computational Logic. 26-29 September 2017, Naples, Italy (PC)
- I'm on the editorial board of Intelligenza Artificiale, the international journal of the Italian Association on Artificial Intelligence AIxIA.
- AIxIA Doctoral Dissertation Award 2016. (PC)
- LOPSTR 2016. 26th International Symposium on Logic-Based Program Synthesis and Transformation, September 6-8, 2016. Edinburgh, UK. (PC)
- ICLP-DC-2016. ICLP Doctoral Consortium. New York, 16 July 2016. (PC)
- CILC 2016. 31-esimo Convegno Italiano di Logica Computazionale. 20-22 giugno 2016. Milano. (PC)
- HCVS 2016. Third Workshop on Horn Clauses for Verification and Synthesis. Affiliated with ETAPS 2016. 2-8 April 2016. Eindhoven, The Netherlands. (PC)
- VPT 2016. Fourth International Workshop on Verification and Program Transformation. Affiliated with ETAPS 2016. 2-8 April 2016. Eindhoven, The Netherlands. (PC)
- ICLP-DC-2015. ICLP Doctoral Consortium. Cork, Ireland, 31 August 2015. (PC)
- HCVS 2015. Second Workshop on Horn Clauses for Verification and Synthesis. Affiliated with CAV 2015. July 18, 2015. San Francisco, USA. (Program and Steering Committee).
- PPDP 2015. 17th International Symposium on Principles and Practice of Declarative Programming July 14-16, 2015. Siena, Italy (PC)
- CILC 2015. 30-esimo Convegno Italiano di Logica Computazionale. 1-3 Luglio 2015, Genova (PC)
- VPT 2015. Third International Workshop on Verification and Program Transformation. April 11, 2015, London, UK @ETAPS2015 (PC)
- HCVS 2014. First Workshop on Horn Clauses for Verification and Synthesis. Affiliated with ICLP and CAV at FLoC / VSL. July 17, 2014. Vienna, Austria. (co-chair / organizer).
- LOPSTR 2014. 24th International Symposium on Logic-Based Program Synthesis and Transformation, September 10-11, 2014. Canterbury, UK (PC)
- CILC 2014. 29-esimo Convegno Italiano di Logica Computazionale. 16 - 18 Giugno 2014, Torino (PC)
- ICLP-DC-2014. ICLP Doctoral Consortium. Vienna, Austria, 20 July 2014. (PC)
- AIxIA Doctoral Dissertation Award 2013. (chair)
- CILC 2013. 28-esimo Convegno Italiano di Logica Computazionale. 25 - 27 Settembre 2013, Catania (PC)
- ICLP-DC-2013. ICLP Doctoral Consortium. Istanbul, Turkey, 24 August 2013. (PC)
- ICLP-DC-2012. ICLP Doctoral Consortium. Budapest, Hungary, 4 September 2012. (PC)
- CILC 2011. 26-esimo Convegno Italiano di Logica Computazionale. 31 Agosto - 2 Settembre 2011, Pescara. (chair)
- IJCAI 2011. The twentieth International Joint Conference on Artificial Intelligence. Barcelona July 2011. (PC)
- LOPSTR 2010. 20th International Symposium on Logic-Based Program Synthesis and Transformation, July 23-25, 2010. Hagenberg, Austria (PC)
- mLife 2010, Mobile Life Conferences, 27-29 October 2010, The Grand Hotel, Brighton, UK. And 2009, 2008, 2006 editions (PC)

Research projects

I participated in the following research projects: - "Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali" Progetto MIUR PRIN 2005 n.2005-015491

I was the local team coordinator of the research unit at the University of Chieti-Pescara, for the research project "Simulation and modeling of biological systems using StateCharts (SIMBIOSYS)", funded by the Italian Ministry for University and Scientific Research PRIN 2008, n.20083K772X_003.

I am a research associate at IASI-CNR and a member of the MAP group.

I am a member of the Italian Association for Logic Programming (GULP).

Papers

Below you can find some recent papers of mine. Please cite the most recent papers that are indexed by Scopus, if possible. Thank you!

If you are interested in my work, please feel free to contact me.

Some other papers of mine are listed on DBLP, on Google Scholar, and on the reports page of the MAP Group
Note that the list of papers below has not been updated since 2017.

2017

2016

2015

2014

2013

2012

2011

2010

Contact

Fabio Fioravanti
Dipartimento di Economia
Università "G. D'Annunzio" di Chieti-Pescara
Viale Pindaro, 42
I-65127 Pescara (ITALY)

Email <mylastname> AT unich.it
Tel +39 (0)85 453 7697
Fax +39 (0)85 4508 3208