[Haskell] CFP -- SEFM'11: EXTENDED DEADLINE

[Alberto Pardo]

CALL FOR PAPERS - SEFM 2011

The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL 
METHODS (SEFM)

14-18 November 2011

Montevideo, Uruguay

URL: http://www.fing.edu.uy/inco/eventos/SEFM2011

+++++++++++++++++++++++++++++++++++++++++++++++++++
IMPORTANT DATES (EXTENDED DEADLINES)

* NEW Title and abstract submission deadline: 30 April 2011
* NEW Paper submission deadline: 9 May 2011
* Acceptance/rejection notification: 15 June 2011
* Camera-ready version due: 15 July 2011
+++++++++++++++++++++++++++++++++++++++++++++++++++

BACKGROUND AND OBJECTIVES

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. Papers that combine formal methods and software engineering are 
especially welcome.

Authors are invited to submit original research or tool papers on any 
relevant topic. These can either be normal or short papers. Short papers 
can discuss new ideas which are at an early stage of development and 
which have not yet been thoroughly evaluated.

TOPICS

Topics of interest include, but are not limited to:
   * formal requirement analysis, specification and design
   * programming languages, program analysis and type theory
   * formal methods for service-oriented and cloud computing
   * formal aspects of security and mobility
   * model checking, theorem proving and decision procedures
   * formal methods for real-time, hybrid and embedded systems
   * formal methods for safety-critical, fault-tolerant and secure systems
   * software architecture and coordination languages
   * component, object and multi-agent systems
   * formal aspects of software evolution and maintenance
   * formal methods for testing, re-engineering and reuse
   * light-weight and scalable formal methods
   * tool integration
   * applications of formal methods, industrial case studies and 
technology transfer

KEYNOTE SPEAKERS

   * Holger Hermanns, Saarland University, Germany
   * Mike Hinchey, Lero-The Irish Software Engineering Research Centre, 
Ireland
   * Daniel Le Métayer - INRIA, France

SPECIAL TRACK

The conference programme will include a special track on "Modelling for 
Sustainable Development" with a separate Call for
Papers that can be found at 
http://www.fing.edu.uy/inco/eventos/SEFM2011/CFP-MSD-special-track.txt. 
All queries on submissions to the special track should be sent to: 
sefm2011-msd at iist.unu.edu.

The special track will have as keynote speaker:

   * Matteo Pedercini, Millennium Institute, USA

LOCATION

The conference will be held at the NH Columbia Hotel located close to 
the financial center of Montevideo and enjoying excellent views of the 
Plata river (Río de la Plata) - 
http://www.nh-hotels.com/nh/en/hotels/uruguay/montevideo/nh-columbia.html.

SUBMISSION AND PUBLICATION

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. All papers must be written in 
English.

Research and tool papers must not exceed 16 pages in the LNCS format 
while short papers must not exceed 8 pages in the LNCS format (see 
http://www.springer.de/comp/lncs/authors.html for details).

All queries on the submissions should be sent to: sefm2011 at fing.edu.uy.
Papers must be submitted electronically via the Easychair System:  
http://www.easychair.org/conferences/?conf=sefm11

The proceedings will be published in the Springer Lecture Notes in 
Computer Science series (LNCS, http://www.springer.com/lncs).

After the conference, authors of selected papers will be invited to 
submit an extended version of their work to be considered for 
publication in a special issue of the SoSyM journal (Software and 
Systems Modeling, Springer), following the standard reviewing process of 
the journal.

COMMITTEES

Conference Chair
   * Alberto Pardo, Universidad de la República, Uruguay

Program Co-chairs
   * Gilles Barthe, IMDEA Software, Spain
   * Gerardo Schneider, Chalmers | Univ. of Gothenburg, Sweden

Program Committee
  * Bernhard K. Aichering, Graz University of Technology, Austria
  * Luis Barbosa, University of Minho, Portugal
  * Gilles Barthe, IMDEA Software, Spain
  * Thomas Anung Basuki, Parahyangan Catholic University, Indonesia
  * Alexandre Bergel, University of Chile, Chile
  * Gustavo Betarte, Universidad de la República, Uruguay
  * Ana Cavalcanti, University of York, UK
  * Pedro R. D'Argenio, Univ. Nacional de Córdoba, Argentina
  * Van Hung Dang, Vietnam National University, Vietnam
  * George Eleftherakis, SEERC, Greece
  * José Luiz Fiadeiro, University of Leicester, UK
  * Martin Fränzle, Oldenburg University, Germany
  * Stefania Gnesi, ISTI-CNR, Italy
  * Rob Hierons, Brunel University, UK
  * Paola Inverardi, University of L'Aquila, UK
  * Jean-Marie Jacquet, University of Namur, Belgium
  * Tomasz Janowski, UNU-IIST, China
  * Jean-Marc Jezequel, IRISA, France
  * Joseph Kiniry, IT University of Copenhagen, Denmark
  * Paddy Krishnan, Bond University, Australia
  * Martin Leucker, TU Munich, Germany
  * Xuandong Li, Nanjing University, China
  * Peter Lindsay, The University of Queensland, Australia
  * Antónia Lopes, University of Lisbon, Portugal
  * Nenad Medvidovic, University of Southern California, USA
  * Mercedes Merayo, Universidad Complutense de Madrid, Spain
  * Stephan Merz, INRIA Nancy, France
  * Madhavan Mukund, Chennai Mathematical Institute, India
  * Cesar Muñoz, NASA, USA
  * Martín Musicante, UFRN, Brazil
  * Mizuhito Ogawa, JAIST, Japan
  * Olaf Owe, University of Oslo, Norway
  * Gordon Pace, University of Malta, Malta
  * Ernesto Pimentel, University of Málaga, Spain
  * Sanjiva Prasad, Indian Institute of Technology Delhi, India
  * Anders Ravn, Aalborg University, Denmark
  * Leila Ribeiro, UFRGS, Brazil
  * Augusto Sampaio, UFPE, Brazil
  * Gerardo Schneider, Chalmers | Univ. of Gothenburg, Sweden
  * Sebastian Uchitel, Imperial College London, UK, and UBA, Argentina
  * Willem Visser, University of Stellenbosch, South Africa
  * Sergio Yovine, CONICET and UBA, Argentina

Organising Committee
   * Carlos Luna, Universidad de la República, Uruguay
   * Alberto Pardo, Universidad de la República, Uruguay
   * Luis Sierra, Universidad de la República, Uruguay

Steering Committee
   * Manfred Broy, TU Munich, Germany
   * Antonio Cerone, UNU-IIST, Macao SAR, China
   * Mike Hinchey, Lero-The Irish Software Engineering Research Centre, 
Ireland
   * Mathai Joseph, TRDDC, Pune, India
   * Zhiming Liu, UNU-IIST, Macao SAR, China
   * Andrea Maggiolo-Schettini, Pisa University, Italy