=========================================================================================== FMCO 2011 (International Symposium on Formal Methods for Components and Objects) October 3-5, 2011, Turin, Italy http://fmco.liacs.nl/fmco11.html
and FoVeOOS 2011 (International Conference on Formal Verification of Object-Oriented Software) October 5-7, 2011, Turin, Italy http://foveoos2011.cost-ic0701.org =========================================================================================== *CALL FOR PARTICIPATION* FMCO 2011 and FoVeOOS 2011 are co-located, with a half-day joint session on Wednesday (October 5) morning. - Program of the FMCO Symposium: http://formal.iti.kit.edu/fmco2011/2011/program.html FMCO participating projects: http://fmco.liacs.nl/fmco11.html - Program of the FoVeOOS conference: http://foveoos2011.cost-ic0701.org/programme FoVeOSS invited talks: http://foveoos2011.cost-ic0701.org/invited-talks Registration to FMCO and/or FoVeOSS is now open: http://foveoos2011.cost-ic0701.org/registration *Early registration until 18 September, 2011* -- Prof. Ferruccio Damiani Dipartimento di Informatica |Phone: (+39) 011 670 6719 Università degli Studi di Torino |Fax : (+39) 011 75 16 03 C.so Svizzera 185 |Email: [email protected] I-10149 Torino, Italy |URL : http://www.di.unito.it/~damiani _______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
