Formal Methods and Tools Laboratory (FMT)

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


News  all...

Achievements

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