[TYPES/announce] CfPar: SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11)

Wed Sep 7 08:41:38 EDT 2011

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

++++++++++++++++++++++++++++++++++++++++++++++++++

CALL FOR PARTICIPATION

The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11)
14-18 November 2011
Montevideo, Uruguay
http://www.fing.edu.uy/inco/eventos/SEFM2011

+++++++++++++++++++++++++++++++++++++++++++++++++++

REGISTRATION IS NOW OPEN!

To register please follow the instructions given at http://www.fing.edu.uy/inco/eventos/SEFM2011/index.html#registration

A PRELIMINARY PROGRAM is already available at http://www.fing.edu.uy/inco/eventos/SEFM2011/program.html

+++++++++++++++++++++++++++++++++++++++++++++++++++

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. 

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
	Title of the talk: "Formal Methods in Energy Informatics" 
* Mike Hinchey, Lero, Ireland 
	Title of the talk: "Developing Model-Checking Mechanisms for ASSL: An Experience Report"
* Daniel Le Métayer - INRIA, France
	Title of the talk: "Formal methods as a link between software code and legal rules"

SPECIAL TRACK

The conference programme will include a special track on "Modelling for Sustainable Development". All queries about 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 
	Title of the talk: "Models and Communication in the Policy Process"

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.

CONTACT

All queries should be sent to: sefm2011 at fing.edu.uy.

++++++++++++++++++++++++++++++++++++++++++++++++++

SEFM SCHOOL

The associated school to the conference will be held November 7-11, 2011. For further information send an email to sefm2011 at fing.edu.uy (a separate call will be sent soon).

The program of the school is available from http://www.fing.edu.uy/inco/eventos/SEFM2011/school.html

++++++++++++++++++++++++++++++++++++++++++++++++++

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, University of Lübeck, 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
* César 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
* Sebastián Uchitel, Imperial College London, UK, and UBA, Argentina
* Willem Visser, University of Stellenbosch, South Africa
* Sergio Yovine, UBA and CONICET, 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, Ireland
* Mathai Joseph, TRDDC, India
* Zhiming Liu, UNU-IIST, Macao SAR China
* Andrea Maggiolo-Schettini, Pisa University, Italy

++++++++++++++++++++++++++++++++++++++++++++++++++
---
Gerardo Schneider
Department of Computer Science and Engineering
Chalmers | University of Gothenburg
SE 412 96 Göteborg, Sweden
http://www.cse.chalmers.se/~gersch/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110907/52e9e889/attachment-0001.html>