A picture of Fabio Fioravanti

Hello world!

I'm an assistant professor at the University "G. d'Annunzio" of Chieti - Pescara (Italy). In this page you can find some information about me and my recent research and teaching activities.

News

- HCVS 2016 - Third Workshop on Horn Clauses for Verification and Synthesis. Affiliated with ETAPS 2016. 2-8 April 2016. Eindhoven, The Netherlands.
- The VeriMAP software verifier based on transformation of contraint logic programs is available for download

Research

My research interests include
- constraint logic programming and its application to software testing and verification;
- constraint logic programming and its application to security and verification of concurrent systems;
- program transformation methodologies for development, verification and synthesis of programs;
- bioinformatics, and, in particular, systems biology;
- languages and tools for rapid application development;

Archived News

- 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)
- AI*IA 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, cite, cite! even if you don't like them :-) ... and please cite the most recent ones which are indexed by Scopus or ISI, whenever possible. Learn why I'm asking this.      Thank you!

If you are interested in my work, please feel free to contact me. I will be happy to answer your questions via email or face to face!

Some other papers of mine are listed on the reports page of the MAP Group, on DBLP and on Google Scholar.

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