[TYPES/announce] FMCO 2011 and FoVeOOS 2011 call for participation

[Ferruccio Damiani]

===========================================================================================
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 projetcs:
   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: damiani at di.unito.it
I-10149 Torino, Italy            |URL  : http://www.di.unito.it/~damiani