We apologize if you have received multiple copies of this announcement.
====================================================
CALL FOR PAPERS - SEFM 2010
The 8th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM)
Pisa, Italy
13--18 September 2010
URL: http://www.sefm2010.isti.cnr.it
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 that are at an early stage of development.
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
* Carlo Ghezzi, Italy
* Dimitra Giannakopoulou, USA
* Dusko Pavlovic, UK/USA
LOCATION
The conference will be held at the Area della
Ricerca CNR, Pisa, Italy
(http://www.area.pi.cnr.it)
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 10 pages in the
IEEE format while short papers must not exceed 5
pages in the IEEE format.
Instructions for authors are available at:
http://computer.org/cspress/instruct.htm.
LaTeX document classes can be downloaded from the website at;
ftp://pubftp.computer.org/Press/Outgoing/proceedings/.
All queries on the submissions should be sent to:
[email protected].
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.
http://www.easychair.org/conferences/?conf=sefm10
IMPORTANT DATES
* 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: [email protected]
==========================================================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
