Current Events
I am involved as PC member/chair:
- SAC-SRC 2019, SATTA (Software Architecture: Theory, Technology, and Applications) Track.
- FAACS 2018, 2nd Workshop on Formal Approaches for Advanced Computi ng Systems, co-located with ECSA 2018, September 25, 2018, Madrid, Spain (chair);
- MEMOCODE’18, 16th ACM-IEEE International Conference on Formal Methods and Models for System Design;
- MEDI 2018 8th International Conference on Model and Data Engineering;
- IWCFS 2018 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems;
- DMSVIVA 2018 The 24th International DMS Conference on Visualization and Visual Languages;
- NFM 2018 Tenth NASA Formal Methods Symposium;
- FM 2018 22nd International Symposium on Formal Methods
- ABZ 2018 ABZ 2018 (6th International Conference on ASM, Alloy, B, TLA, VDM and Z);
- SAC-SRC 2018, SATTA (Software Architecture: Theory, Technology, and Applications) Track.
Past Events
I was involved as PC member/chair:
- FAACS 2017, 1st Workshop on Formal Approaches for Advanced Computi ng Systems, co-located with SEFM 2017, September ?, 2017, Trento, Italy (chair);
- AFM 2017, Automated Formal Methods, May 19-20, 2017, NASA Ames Research Center, CA, USA;
- MEMOCODE 2017, 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, September 29 - October 2, 2017, Vienna, Austria;
- MEDI 2017, 7th International Conference on Conference on Model & Data Engineering, October 4-6, 2017 - Barcelona, Spain;
- DMSVLSS 2017, The 23rd International Conference on Distributed Multimedia Systems, Visual Languages and Sentient Systems, July 7-8, 2017, Pittsburgh, USA;
- SAC-SRC 2017, SATTA (Software Architecture: Theory, Technology, and Applications) Track, April 3-7, Marrakech, Morocco, 2017;
- FM 2016, 21st International Symposium on Formal Methods, 7-11 November 2016, Limassol, Cyprus;
- MEMOCODE 2016, 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, November 18-20, 2016, Kanpur , India;
- DMS2016, The 22nd International Conference on Distributed Multimedia Systems, November 25 - 26, 2016, Salerno, Italy;
- MEDI 2016, 6th International Conference on Conference on Model & Data Engineering, September 21-23, 2016, Aguadulce, Almeria, Spain;
- SAC-SRC 2016, SATTA (Software Architecture: Theory, Technology, and Applications) Track, April 4 - 8, 2016, Pisa, Italy;
- ABZ 2016, 5th International Conference on ASM, Alloy, B, TLA, VDM, Z, May 23-27 2016, Linz, Austria;
- MEMOCODE 2015, 13th ACM-IEEE Symposium on Formal Methods and Models for System Design, The University of Texas at Austin September 21-23, 2015;
- MEDI 2015, 5th International Conference on Conference on Model & Data Engineering, September 26-28 2015, Rhodes Island, Greece;
- ISPS 2015, 12th International Symposium on Programming and Systems, April 28-30 2015, Algiers, Algeria;
- SAC-SRC 2015, SATTA (Software Architecture: Theory, Technology, and Applications) Track, April 13 - 17, 2015, Salamanca, Spain;
- ABZ 2014, 4th International Conference on ASM, Alloy, B, TLA, VDM, Z, June 2-6 2014, Toulouse, France;
- SAC-SRC 2014, SATTA (Software Architecture: Theory, Technology, and Applications) Track, March 24-28 2014, Gyeongju, Korea;
- DMS2014, 20th International Conference on Distributed Multimedia Systems, August 27-29 2014, Wyndham Pittsburgh University Center, Pittsburgh, USA;
- Dagstuhl Seminar: 28-0113 "Integration of Tools for Rigorous Software Construction and Analysis", 8-13/09/2013, U. Glaesser, M. Leuschel, S. Hallerstede, E. Riccobene (chair);
- MOMPES 2013, International Workshop on Model-based Methodologies for Pervasive and Embedded Software, November 11 2013, Palo Alto, California, USA;
- ETFA 2013, 18th IEEE International Conference on Emerging Technologies and Factory Automation, September 10-13 2013, Cagliari, Italy;
- BM-FA 2013, 5th Workshop on Behavioural Modelling - Foundations and Applications, July 1st 2013, Montpellier, France;
- Eclipse IT 2013: Mobile and Coordination, VIII Workshop of the Italian Eclipse Community, September 19-20 2013, Crema, Italy (chair);
- SAC-SRC 2013, SATTA (Software Architecture: Theory, Technology, and Applications) Track, March 18-22 2013, Coimbra, Portugal;
- Eclipse-IT 2012, VII Workshop of the Italian Eclipse Community, September 20-21 2012, Pozzuoli, Italy;
- ABZ 2012, 3rd International Conference on Abstract State Machines (ASM), Alloy, B, Z and VDM, June 18 - 22 2012, Pisa, Italy, (chair);
- MOMPES 2012, International Workshop on Model-based Methodologies for Pervasive and Embedded Software, September 04 2012, Essen, Germany;
- ICCA 2012, Third International Conference on Computer Applications 2012, December 27-29 2012, Pondicherry, India;
- EFFA-WiP 2012, Industry Practice, Satellite event of ETFA 2012, September 17-21 2012, Krakow, Poland;
- ETFA 2012, 17th IEEE International Conference on Emerging Technologies & Factory Automation, September 17-21, 2012, Krakow, Poland;
- ICSEA 2012 The Seventh International Conference on Software Engineering Advances, November 18-23 2012, Lisbon, Portugal;
- ICSEA 2011, The Sixth International Conference on Software Engineering Advances, October 23-29 2011, Barcelona, Spain;
- ETFA2011 - WiP - Industry Practice Workshops, Workshops and WiP at Emerging Technologies and Factory Automation conference 2011, September 5-9 2011, Toulouse, France;
- ETFA 2011, 16th IEEE Conference on Emerging Technologies and Factory Automation, September 5-9 2011, Toulouse, France; 8- Eclipse-IT 2011, The Sixth Workshop of the Italian Eclipse Community, September 22-23 2011, Milano, Italy;
- ICSEA 2010, The Fifth International Conference on Software Engineering Advances, August 22-27 2010, Nice, France;
- BM-FA 2010, The Second Workshop on Behavioural Modelling - Foundations and Application, 15 June 2010, Paris, France;
- Eclipse-IT 2010, The Fifth Italian Workshop on Eclipse Technology, September 30 - October 1st 2011, Savona, Italy;
- ABZ 2010, 2nd International Conference on ASM, B and Z, Orford, February 22-25 2010, Quebec, Canada;
- Eclipse-IT 2009, 4th Italian Workshop on Eclipse Technologies, September 28-29 2009, Bergamo, Italy;
- ICSEA 2009, The Fourth International Conference on Software Engineering Advances, September 20-25 2009, Porto, Portugal;
- ENICS 2008, International Conference on Advances in Electronics and Micro-electronics, September 29 - October 4 2008, Valencia, Spain;
- ABZ 2008, 1st International Conference on ASM, B and Z, September 16-18 2008, BCS London Offices, Covent Garden, London, UK;
- SIES 2008, Third IEEE Symposium on Industrial Embedded Systems, June 11-13 2008, La Grande Motte, France;
- FAC 2007, Foundations of Augmented Cognition - Third International Conference, July 22-27 2007, Beijing, China;
- ASM 07, 13th International ASM Workshop, June 6-11 2007, Grimstadt, Norway;
- DATE 06, Design, Automation and Test in Europe, March 6-10 2006, Munich, Germany;
- ASM 05, 12th International ASM Workshop, March 7-11 2005, Paris, France;
- FME CoLogNet Symposium on Teaching Formal Methods, November 18-19 2004, Ghent, Belgium;
- ASM 2004, 11th International ASM Workshop, May 24-28, 2004, Halle-Wittenberg, Germany;
- ASM 2003, 10th International Workshop on Abstract State Machines, March 3-7 2003, Taormina, Italy (chair);
- ASM 2002, March 3-8, 9th International ASM Workshop, 2002, Dagstuhl, Germany;
- ASM 2001, 8th International ASM Workshop, February 19-23 2001, Las Palmas (Gran Canaria);
- Fifth International Workshop on Abstract state Machines, 1998, Magdeburg, Germania.