Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news

All News  recent...

Eleven innovations developed in European Projects with ISTI Partner or Coordinator among the List of the EC Innovation Radar  (19 Apr 2018)

CfP WWV 2015: 11th Workshop on Automated Specification and Verification of Web Systems  (23 Jun 2015, 09:00:00)

OSLO (Norway):

9th International Conference on Integrated Formal Methods (iFM 2012)  (18 Jun 2012)

CNR Research Area of Pisa, Italy:

Eighth IEEE International Conference on Software Engineering and Formal Methods  (13 Sep 2010)

Area della Ricerca CNR - Pisa - Italy:


IEEE Requirements Engineering Conference 2015 Best Paper Award  (16 Aug 2015)

Tommaso Bolognesi - Third Prize in the FQXi Essay Contest 2015  (12 Jun 2015)

Tommaso Bolognesi - 4th Prize in the FQXi Essay Contest 2014  (01 Sep 2014)

Ercan Engin Kuruoglu has been named Editor-in-Chief for "Digital Signal Processing: a Review Journal"  (11 Jul 2011)

T. Bolognesi - 4th prize in the Essay Contest 'Reality: Digital or Analog'?  (23 Jun 2011)

Best paper at FMICS 2010  (20 Sep 2010)

Best Paper Award alla 2nd International Conference on Internet and Web Applications and Services (ICIW'07)  (13 May 2007)

comments to Stefania Gnesi