[ecoop-info] SEFM-10- Deadline for early registration is approaching

[Announcements of FME events]

Please accept our apologies if you receive multiple copies of this 
Call for Participation.





******************************************************************************

                           CALL FOR PARTICIPATION



  Eighth IEEE International Conference on Software Engineering and 
Formal Methods

                                  (SEFM 2010)



       Pisa, Italy, from 13th to 18th September, 2010.



 
<http://www.sefm2010.isti.cnr.it/i>http://www.sefm2010.isti.cnr.it/i



******************************************************************************



The aim of the SEFM 2010 is to bring together researchers and 
practitioners from academia, industry and government to advance the 
state-of-the-art in formal methods, to scale up their application in 
software industry and to encourage their integration with practical 
engineering methods.

The scientific program will include invited talks, papers ,tool 
demonstrations, tutorials and workshops.




Important dates:


***** Early registration:       			July 30, 2010

* Tutorials				September 13, 2010

* Main conference:                     			September 14-16, 2010

* Workshops:          				September 17-18, 2010





We invite you to be part of  SEFM 2010.

For more information about the venue, program, registration, and travel,

please visit the conference homepage at 
<http://www.sefm2010.isti.cnr.it>http://www.sefm2010.isti.cnr.it/
-- 

==========================================================================
Stefania Gnesi
ISTI-CNR                                 		tel:     +39 
050  3152918
VIA G. MORUZZI, 1			fax:    +39 050  3152920
I-56124  PISA (Italy)  		mobile: +39 348 8283128
http://fmt.isti.cnr.it/	  	 	e-mail: gnesi at isti.cnr.it
==========================================================================

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100727/aae46cad/attachment.html 
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events