CALL FOR PAPERS - SEFM 2011<div><br>The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL<br>METHODS (SEFM)</div><div><br>14-18 November 2011</div><div><br>Montevideo, Uruguay</div><div><br>URL: <a href="http://www.fing.edu.uy/inco/eventos/SEFM2011">http://www.fing.edu.uy/inco/eventos/SEFM2011</a></div>
<div><br>++++++++++++++++++++++++++++++++++++++++++<br>IMPORTANT DATES<br>* Title and abstract submission deadline: 23 April 2011<br>* Paper submission deadline: 30 April 2011<br>* Acceptance/rejection notification: 15 June 2011<br>
* Camera-ready version due: 15 July 2011<br>+++++++++++++++++++++++++++++++++++++++++++++++++++</div><div><br>BACKGROUND AND OBJECTIVES</div><div><br>The aim of the conference is to bring together practitioners and<br>researchers from academia, industry and government to advance the<br>
state of the art in formal methods, to facilitate their uptake in the<br>software industry and to encourage their integration with practical<br>engineering methods.<br>Papers that combine formal methods and software engineering are<br>
especially welcome.<br>Authors are invited to submit original research or tool papers on any<br>relevant topic.<br>These can either be normal or short papers.<br>Short papers can discuss new ideas which are at an early stage of<br>
development and which have not yet been thoroughly evaluated.<br><br></div><div>TOPICS<br><br></div><div>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<br>
technology transfer<br><br></div><div>KEYNOTE SPEAKERS<br><br> </div><div> * Daniel Le Métayer - INRIA, France<br> * More to be announced...<br><br></div><div>SPECIAL TRACK<br><br>The conference programme will include a special track on "Modelling<br>
for Sustainable Development". A separate Call for<br>Papers is available for the special track. All queries on submissions<br>to the special track should be sent to: <a href="mailto:sefm2011-msd@iist.unu.edu">sefm2011-msd@iist.unu.edu</a>.<br>
<br></div><div>LOCATION<br><br></div><div>The conference will be held at the NH Columbia Hotel located close to<br>the financial center of Montevideo and enjoying excellent views of the<br>Plata river (Río de la Plata) -<br>
<a href="http://www.nh-hotels.com/nh/en/hotels/uruguay/montevideo/nh-columbia.html">http://www.nh-hotels.com/nh/en/hotels/uruguay/montevideo/nh-columbia.html</a>.<br><br></div><div>SUBMISSION AND PUBLICATION<br><br></div>
<div>Submissions to the conference must not have been published or be<br>concurrently considered for publication elsewhere.<br>All submissions will be peer-reviewed and judged on the basis of<br>originality, contribution to the field, technical and presentation<br>
quality, and relevance to the conference.<br>All papers must be written in English.<br>Research and tool papers must not exceed 16 pages in the LNCS format<br>while short papers must not exceed 8 pages in the LNCS format (see<br>
<a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a> for details).<br>All queries on the submissions should be sent to: <a href="mailto:sefm2011@fing.edu.uy">sefm2011@fing.edu.uy</a>.<br>
Papers must be submitted electronically via the Easychair System:<br><a href="http://www.easychair.org/conferences/?conf=sefm11">http://www.easychair.org/conferences/?conf=sefm11</a><br>The proceedings will be published in the Springer Lecture Notes in<br>
Computer Science series (LNCS).<br>After the conference, authors of selected papers will be invited to<br>submit an extended version of their work to be considered for<br>publication in a special issue of the SoSyM journal (Software and<br>
Systems Modeling, Springer), following the standard reviewing process<br>of the journal.<br><br></div><div>COMMITTEES<br><br></div><div>Conference Chair<br>* Alberto Pardo, Universidad de la República, Uruguay<br><br></div>
<div>Program Co-chairs<br> * Gilles Barthe, IMDEA Software, Spain<br> * Gerardo Schneider, Chalmers | Univ. of Gothenburg, Sweden<br><br></div><div>Program Committee<br>* Bernhard K. Aichering (Graz University of Technology, Austria)</div>
<div> * Luis Barbosa (University of Minho, Portugal)<br> * Gilles Barthe (IMDEA Software, Spain)<br> * Thomas Anung Basuki (UNU-IIST, China)<br> * Alexandre Bergel (University of Chile, Chile)<br> * Gustavo Betarte (Universidad de la República, Uruguay)<br>
* Ana Cavalcanti (University of York, UK)<br> * Pedro R. D'Argenio (Univ. Nacional de Córdoba, Argentina)<br> * Van Hung Dang (UNU-IIST, China)<br> * George Eleftherakis (SEERC, Greece)<br> * José Luiz Fiadeiro (University of Leicester, UK)<br>
* Martin Fränzle (Oldenburg University, Germany)<br> * Stefania Gnesi (ISTI-CNR, Italy)<br> * Rob Hierons (Brunel University, UK)<br> * Paola Inverardi (University of L'Aquila, UK)<br> * Jean-Marie Jacquet (University of Namur, Belgium)<br>
* Tomasz Janowski (UNU-IIST, China)<br> * Jean-Marc Jezequel (IRISA, France)<br> * Joseph Kiniry (IT University of Copenhagen, Denmark)<br> * Paddy Krishnan (Bond University, Australia)<br> * Martin Leucker (TU Munich, Germany)<br>
* Xuandong Li (Nanjing University, China)<br> * Peter Lindsay (The University of Queensland, Australia)<br> * Antónia Lopes (University of Lisbon, Portugal)<br> * Nenad Medvidovic (University of Southern California, USA)<br>
* Mercedes Merayo (Universidad Complutense de Madrid, Spain)<br> * Stephan Merz (INRIA Nancy, France)<br> * Madhavan Mukund (Chennai Mathematical Institute, India)<br> * Cesar Muñoz (NASA, USA)<br> * Martín Musicante (UFRN, Brazil)<br>
* Mizuhito Ogawa (JAIST, Japan)<br> * Olaf Owe (University of Oslo, Norway)<br> * Gordon Pace (University of Malta, Malta)<br> * Ernesto Pimentel (University of Málaga, Spain)<br> * Sanjiva Prasad (Indian Institute of Technology Delhi, India)<br>
* Anders Ravn (Aalborg University, Denmark)<br> * Leila Ribeiro (UFRGS, Brazil)<br> * Augusto Sampaio (UFPE, Brazil)<br> * Gerardo Schneider (Chalmers | Univ. of Gothenburg, Sweden)<br> * Sebastian Uchitel (Imperial College London, UK)<br>
* Willem Visser (University of Stellenbosch, South Africa)<br> * Sergio Yovine (VERIMAG, France)<br><br>Organising Committee<br> * Carlos Luna, Universidad de la República, Uruguay<br> * Alberto Pardo, Universidad de la República, Uruguay<br>
* Luis Sierra, Universidad de la República, Uruguay<br><br></div><div>Steering Committee<br> * Manfred Broy, TU Munich, Germany<br> * Antonio Cerone, UNU-IIST, Macao SAR, China<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<br> * Andrea Maggiolo-Schettini, Pisa University, Italy</div><div><br>===================================================</div>