Organized Events
General chair
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