<html><head><base href="x-msg://63/"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; font-family: Monaco; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div>====================================================</div><div>We apologize if you have received multiple copies of this announcement.</div><div><br></div><div><br></div><div>====================================================</div><div><font color="#000000"><b>CALL FOR PAPERS - SEFM 2010<br>The 8th IEEE International Conference on<br>SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM)<br>Pisa, Italy<br>13--18 September 2010<br></b>URL:</font><font color="#0000FF"><span class="Apple-converted-space"> </span><a href="http://www.sefm2010.isti.cnr.it">http://www.sefm2010.isti.cnr.it</a><br></font><font color="#000000"><b>BACKGROUND AND OBJECTIVES<br></b>The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods.<br>Papers that combine formal methods and software engineering are especially welcome.<br>Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers.<br>Short papers can discuss new ideas that are at an early stage of development.<br><b>TOPICS<br></b>Topics of interest include, but are not limited to:<br>* formal requirement analysis, specification and design<br>* programming languages, program analysis and type theory<br>* formal methods for service-oriented and cloud computing<br>* formal aspects of security and mobility<br>* model checking, theorem proving and decision procedures<br>* formal methods for real-time, hybrid and embedded systems<br>* formal methods for safety-critical, fault-tolerant and secure systems<br>* software architecture and coordination languages<br>* component, object and multi-agent systems<br>* formal aspects of software evolution and maintenance<br>* formal methods for testing, re-engineering and reuse<br>* light-weight and scalable formal methods<br>* tool integration<br>* applications of formal methods, industrial case studies and technology transfer<br><b>KEYNOTE SPEAKERS<br></b>* Carlo Ghezzi, Italy<br>* Dimitra Giannakopoulou, USA<br>* Dusko Pavlovic, UK/USA<br><b>LOCATION<br></b>The conference will be held at the Area della Ricerca CNR, Pisa, Italy (</font><font color="#0000FF"><a href="http://www.area.pi.cnr.it">http://www.area.pi.cnr.it</a></font><font color="#000000">)<br><b>SUBMISSION AND PUBLICATION<br></b>Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference.<br>All papers must be written in English. Research and tool papers must not exceed 10 pages in the IEEE format while short papers must not exceed 5 pages in the IEEE format.<br>Instructions for authors are available at:</font><font color="#0000FF"><span class="Apple-converted-space"> </span><a href="http://computer.org/cspress/instruct.htm">http://computer.org/cspress/instruct.htm</a></font><font color="#000000">.<br>LaTeX document classes can be downloaded from the website at;<br></font><font color="#0000FF"><a href="ftp://pubftp.computer.org/Press/Outgoing/proceedings/">ftp://pubftp.computer.org/Press/Outgoing/proceedings/</a></font><font color="#000000">.<br>All queries on the submissions should be sent to:</font><font color="#0000FF"><span class="Apple-converted-space"> </span><a href="mailto:pc_chair@sefm2010.isti.cnr.it">pc_chair@sefm2010.isti.cnr.it</a></font><font color="#000000">.<br>The IEEE Computer Society Press will publish the proceedings of the conference.<br>Publication of a selection of the papers in a journal special issue is also under consideration.<br>Papers must be submitted electronically via the Easychair System.<br><a href="http://www.easychair.org/conferences/?conf=sefm10">http://www.easychair.org/conferences/?conf=sefm10</a><br><b>IMPORTANT DATES<br></b>* Title and abstract submission deadline: 22 March 2010<br>* Paper submission deadline: 29 March 2010<br>* Acceptance/rejection notification: 15 May 2010<br>* Camera-ready version due: 15 June 2010<br><b>COMMITTEES<br>Conference Chair<br></b>* Andrea Maggiolo Schettini, Pisa University, Italy<br><b>Program Co-chairs<br></b>* José Luis Fiadeiro University of Leicester, UK<br>* Stefania Gnesi, ISTI-CNR, Italy<br><b>Program Committee<br></b>* Bernhard Aichernig, Austria<br>* Luis Barbosa, Portugal<br>* Marcello Bonsangue, Netherlands<br>* Jonathan Bowen, UK<br>* Artur Boronat, UK<br>* Antonio Cerone, Macao<br>* Marsha Chechik, Canada<br>* Flavio Corradini, Italy<br>* Jim Davies, UK<br>* Schahram Dustdar, Austria<br>* George Eleftherakis Greece<br>* Stephen Gilmore, UK<br>* Michael Hansen Denmark<br>* Rob Hierons, UK</font></div><div><font color="#000000">* Klaus Havelund, USA<br>* Dang Van Hung, Vietnam<br>* Jean-Marie Jacquet, Belgium<br>* Shmuel Katz, Israel<br>* Padmanabhan Krishan, Australia</font></div><div><font color="#000000">* Xuandong Li, China</font></div><div><font color="#000000">* Zhiming Liu, Macao<br>* Peter Lindsay, Australia<br>* Antónia Lopes, Portugal</font></div><div><font color="#000000">* Carlos Lucena, Brasil<br>* Dominique Méry, France<br>* Carlo Montangero, Italy</font></div><div><font color="#000000">* Franco Mazzanti, Italy<br>* Madhavan Mukund, India<br>* Mizuhito Ogawa, Japan<br>* Jennifer Perez, Spain<br>* Sanjiva Prasad, India<br>* Rosario Pugliese, Italy<br>* Mark Ryan, UK<br>* Markus Roggenbach, UK<br>* Bernhard Schätz, Germany<br>* Gerardo Schneider, Sweden<br>* Willem Visser. South Africa<br>* Gianluigi Zavattaro, Italy<br><b>Finance Chair<br></b>* Alessandro Fantechi, DSI Florence University, Italy<br><b>Tutorial Chair<br></b>* Laura Semini Computer Science Department, University of Pisa<br><b>Workshop Chair<br></b>* Maurice ter Beek, ISTI-CNR, Italy<br><b>Organising Committee<br></b>* Patrizia Asirelli, ISTI-CNR, Italy (Chair)<br>* Gianluca Trentanni, ISTI-CNR, Italy<br>* Maria Luisa Trivella, ISTI-CNR, Italy<br>* Eda Marchetti, ISTI-CNR, Italy<br><b>Steering Committee<br></b>* Manfred Broy, TU Munich, Germany<br>* Antonio Cerone, UNU-IIST, Macao SAR, China<br>* Geoff Dromey, Griffith U., Brisbane, Australia<br>* Mike Hinchey, Lero-The Irish Software Engineering Research Centre, Ireland<br>* Mathai Joseph, TRDDC, Pune, India<br>* Zhiming Liu, UNU-IIST, Macao SAR, China</font></div><div><font color="#000000">* Andrea Maggiolo-Schettini, U. of Pisa, Ital</font>y</div><div><br></div><x-sigsep><pre>--
</pre></x-sigsep><div><br>=====================================================================<span></span>=====<br>Stefania Gnesi<br>ISTI-CNR <span></span> <span></span> <x-tab> <span class="Apple-converted-space"> </span></x-tab><x-tab> <span class="Apple-converted-space"> </span></x-tab>tel: +39 050 3152918<br>VIA G. MORUZZI, 1<x-tab> <span class="Apple-converted-space"> </span></x-tab><x-tab> <span class="Apple-converted-space"> </span></x-tab><x-tab> <span class="Apple-converted-space"> </span></x-tab>fax: +39 050 3152920<br>I-56124 PISA (Italy) <x-tab><span class="Apple-converted-space"> </span></x-tab><x-tab> <span class="Apple-converted-space"> </span></x-tab>mobile: +39 348 8283128<br><a href="http://fmt.isti.cnr.it/">http://fmt.isti.cnr.it/</a><x-tab> <span class="Apple-converted-space"> </span></x-tab> <x-tab> <span class="Apple-converted-space"> </span></x-tab> <x-tab> <span class="Apple-converted-space"> </span></x-tab>e-mail:<span class="Apple-converted-space"> </span><a href="mailto:gnesi@isti.cnr.it">gnesi@isti.cnr.it</a><br>=====================================================================<span></span>=====<br><br></div></span></body></html>