Please note that on site registration for the workshops is possible only via cash payments. There are three cash dispensers available at the CNR.
FLACOS 2010
Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software
http://www.di.unipi.it/FLACOS2010 Date: 17-18 September 2010Time: 9.00 - 18.00
Room: 28
OpenCert 2010
4th International Workshop on Foundations and Techniques for Open Source Software Certification
http://opencert.iist.unu.edu Date: 17-18 September 2010Time: 9.00 - 18.00
Room: 30
FM+AM´2010
2nd Workshop on Formal Methods and Agile Methods
http://fm-am-2010.tripod.com Date: 17 September 2010Time: 9.00 - 13.00
Room: C-29 ("Faedo")
FAST 2010
7th International Workshop on Formal Aspects of Security & Trust
http://www.iit.cnr.it/FAST2010 Date: Date 16-17 September 2010Time: 9.00 - 18.00
Room: 27
