[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Second CFP SEFM2010

Title: Second CFP SEFM2010
We apologize if you have received multiple copies of this announcement.

The 8th IEEE International Conference on
Pisa, Italy
13--18 September 2010
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 that are at an early stage of development.
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
* Carlo Ghezzi, Italy
* Dimitra Giannakopoulou, USA
* Dusko Pavlovic, UK/USA
The conference will be held at the Area della Ricerca CNR, Pisa, Italy (
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 10 pages in the IEEE format while short papers must not exceed 5 pages in the IEEE format.
Instructions for authors are available at:
LaTeX document classes can be downloaded from the website at;
All queries on the submissions should be sent to:
The IEEE Computer Society Press will publish the proceedings of the conference.
Publication of a selection of the papers in a journal special issue is also under consideration.
Papers must be submitted electronically via the Easychair System.
* Title and abstract submission deadline: 22 March 2010
* Paper submission deadline: 29 March 2010
* Acceptance/rejection notification: 15 May 2010
* Camera-ready version due: 15 June 2010
Conference Chair
* Andrea Maggiolo Schettini, Pisa University, Italy
Program Co-chairs
* José Luis Fiadeiro University of Leicester, UK
* Stefania Gnesi, ISTI-CNR, Italy
Program Committee
* Bernhard Aichernig, Austria
* Luis Barbosa, Portugal
* Marcello Bonsangue, Netherlands
* Jonathan Bowen, UK
* Artur Boronat, UK
* Antonio Cerone, Macao
* Marsha Chechik, Canada
* Flavio Corradini, Italy
* Jim Davies, UK
* Schahram Dustdar, Austria
* George Eleftherakis Greece
* Stephen Gilmore, UK
* Michael Hansen Denmark
* Rob Hierons, UK
* Klaus Havelund, USA
* Dang Van Hung, Vietnam
* Jean-Marie Jacquet, Belgium
* Shmuel Katz, Israel
* Padmanabhan Krishan, Australia
* Xuandong Li, China
* Zhiming Liu, Macao
* Peter Lindsay, Australia
* Antónia Lopes, Portugal
* Carlos Lucena, Brasil
* Dominique Méry, France
* Carlo Montangero, Italy
* Franco Mazzanti, Italy
* Madhavan Mukund, India
* Mizuhito Ogawa, Japan
* Jennifer Perez, Spain
* Sanjiva Prasad, India
* Rosario Pugliese, Italy
* Mark Ryan, UK
* Markus Roggenbach, UK
* Bernhard Schätz, Germany
* Gerardo Schneider, Sweden
* Willem Visser. South Africa
* Gianluigi Zavattaro, Italy


Stefania Gnesi
ISTI-CNR                                                tel:     +39 050  3152918
VIA G. MORUZZI, 1                      fax:    +39 050  3152920
I-56124  PISA (Italy)           mobile: +39 348 8283128
http://fmt.isti.cnr.it/                  e-mail: gnesi@isti.cnr.it