[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FMCO 2011 and FoVeOOS 2011 call for participation



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