
<!doctype html public "-//W3C//DTD W3 HTML//EN">

<html><head><style type="text/css"><!--

blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }

 --></style><title>SEFM-10- Deadline for early registration is

approaching</title></head><body>

<div>Please accept our apologies if you receive multiple copies of

this Call for Participation.<br>

<br>

<br>

<br>

<br>

<br>

*********************************************************************<span

></span>*********<br>

<br>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span>&nbsp;&nbsp;&nbsp; CALL FOR PARTICIPATION<br>

<br>

<br>

<br>

&nbsp;Eighth IEEE International Conference on Software Engineering and

Formal Methods<br>

<br>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

(SEFM 2010)<br>

<br>

<br>

<br>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Pisa, Italy, from 13th to 18th

September, 2010.<br>

<br>

<br>

<br>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span>&nbsp;&nbsp;&nbsp;&nbsp;

&lt;http://www.sefm2010.isti.cnr.it/i&gt;http://www.sefm2010.isti.cnr<span

></span>.it/i<br>

<br>

<br>

<br>

*********************************************************************<span

></span>*********<br>

<br>

<br>

<br>

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.<br>

<br>

The scientific program will include invited talks, papers ,tool

demonstrations, tutorials and workshops.<br>

<br>

<br>

<br>

<br>

Important dates:<br>

</div>

<div><b><br>

***** Early

registration:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<x-tab

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </x-tab>July

30, 2010</b><br>

<br>

* Tutorials<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>September 13, 2010<br>

</div>

<div>* Main

conference:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<x-tab

> </x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>September 14-16, 2010</div>

<div><br>

*

Workshops:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<x-tab

>&nbsp; </x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>September 17-18, 2010<br>

<br>

<br>

<br>

<br>

<br>

We invite you to be part of&nbsp; SEFM 2010.<br>

<br>

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

travel,<br>

</div>

<div>please visit the conference homepage at

&lt;http://www.sefm2010.isti.cnr.it&gt;http://www.sefm2010.isti.cnr.i<span

></span>t/</div>

<x-sigsep><pre>-- 

</pre></x-sigsep>

<div><br>

=====================================================================<span

></span>=====<br>

Stefania Gnesi<br>

ISTI-CNR&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span

></span

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<x-tab

>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>tel:&nbsp;&nbsp;&nbsp;&nbsp; +39 050&nbsp; 3152918<br>

VIA G. MORUZZI, 1<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>fax:&nbsp;&nbsp;&nbsp; +39 050&nbsp; 3152920<br>

I-56124&nbsp; PISA (Italy)&nbsp;&nbsp;<x-tab>

</x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>mobile: +39 348 8283128<br>

http://fmt.isti.cnr.it/<x-tab>&nbsp;

</x-tab>&nbsp;&nbsp;<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>&nbsp;<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

</x-tab>e-mail: gnesi@isti.cnr.it<br>

=====================================================================<span

></span>=====<br>

<br>

</div>

</body>

</html>