Formal Methods && Tools Group

Stefania Gnesi

Organized Events

General chair

  • SPLC 201418th International Software Product Line Conference, September 15-19 Florence Italy()
  • VAMOS 201317th International Workshop on Variability Modelling of Software-intensive Systems, ISTI CNR (Pisa) *

PC chair

  • FASE 2014 17th International Conference on Fundamental Approaches to Software Engineering
  • FormaliSE 2014 2nd workshop on Formal Methods in Software Engineering 3 June 2014, Hyderabad India. An ICSE 2014 Event

PC membership

  • ABZ'2014 4th International ABZ 2014 Conference, June 2-6 2014Toulouse - France
  • FMICS 2014 19th International Workshop on Formal Methods for Industrial Critical Systems 11-12 September, Florence Italy
  • ICFEM 2014 16th International Conference on Formal Engineering Methods November 3-7, Luxembourg
  • ICTAC2014 11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest Romania
  • SEFM 2014 12th International Conference on Software Engineering and Formal Methods – September 1-5, 2014, Grenoble France
  • FASE 2015 The European Joint Conferences on Theory and Practice of Software 11-19 April 2015, London, UK