Email Gateway (Aug 19 2022 at 14:00): Email Gateway (Aug 19 2022 at 14:00):From: lina.ye@inria.fr
Our apologies if you have received multiple copies.
####################################################################
FINAL CALL FOR PAPERS
12th International Conference on
Software Engineering and Formal Methods
(SEFM 2014)
Grenoble, France
September 1-5, 2014
####################################################################
NEWS
After the conference, authors of selected papers will be invited to
submit an extended version of their work to be considered for
publication in two special issues, one in the Formal Aspects of
Computing journal and the other in the Software and Systems Modeling
journal.
Five workshops will be co-located with SEFM 2014 in Grenoble,
details are available on http://sefm2014.inria.fr/workshops/
Registration fees
Main conference and 2 days of workshops (5 days in total): 450 euros
Main conference (3 days): 350 euros
2 days of workshop: 140 euros
1 day of workshop: 80 euros
Main conference and 1 day of workshop: 350 + 80 = 430 euros (no discount)
Information about venue are available on
http://sefm2014.inria.fr/venue/
####################################################################
IMPORTANT DATES
Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
Notification: May 19, 2014
Camera Ready: June 13, 2014
Main conference: September 3-5, 2014
Workshops: September 1-2, 2014
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 scale up their application in
the software industry and to encourage their integration with
practical engineering methods. Papers that apply formal methods to
software engineering are especially welcome.
TOPICS OF INTEREST
The topics of this conference include, but are not limited to:
SUBMISSION AND PUBLICATION
Submissions will be peer-reviewed by at least three members of the
program committee. They will be evaluated on the basis of originality,
contribution to the field, technical and presentation quality, and
relevance to the conference.
Papers should conform to the Springer LNCS style and should describe,
in English, original work that has not been published or submitted for
publication elsewhere. PDF versions of papers should be submitted
electronically via EasyChair:
https://www.easychair.org/conferences/?conf=sefm2014
We solicit two categories of papers:
Research papers should describe fully developed work and should not
exceed 15 pages. Authors of papers reporting experimental work are
strongly encouraged to make their experimental results available to
reviewers. Case study papers should describe significant case studies
and lessons learned.
Tool papers should describe an operational tool and its
contributions. Tool papers should not exceed 6 pages. Please include
the URL of the tool (if available).
Two additional pages of appendices are allowed that will not be
included in the proceedings. The proceedings of SEFM'14 will be
published by Springer Verlag in the LNCS series. After the conference,
authors of selected papers will be invited to submit an extended version
of their work to be considered for publication in two special issues,
one in the Formal Aspects of Computing journal and the other in the
Software and Systems Modeling journal.
CONFERENCE CHAIR
Radu Mateescu - Inria Grenoble, Rhne-Alpes, France
PROGRAM CHAIRS
Dimitra Giannakopoulou, NASA Ames, USA
Gwen Salan, Grenoble INP, Inria, France
WORKSHOP CHAIRS
Carlos Canal, University of Malaga, Spain
Marc Frappier, Sherbrooke University, Canada
Akram Idani, Grenoble INP, France
PROGRAM COMMITTEE
Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Bernhard K. Aichernig, TU Graz, Austria
Dalal Alrajeh, Imperial College, London, UK
Farhad Arbab, CWI, The Netherlands
Luis Barbosa, Universidade do Minho, Portugal
Howard Barringer, The University of Manchester, UK
Domenico Bianculli, University of Luxembourg
Jonathan P. Bowen, Birmingham City University, UK
Mario Bravetti, Universit di Bologna, Italy
Tevfik Bultan, UC Santa Barbara, USA
Hung Dang Van, Vietnam National University, Vietnam
Francisco Duran, University of Malaga, Spain
George Eleftherakis, CITY College of Thessaloniki, Greece
Jos Luiz Fiadeiro, Royal Holloway, University of London, UK
Mamoun Filali, IRIT CNRS Universit de Toulouse, France
Martin Frnzle, Carl von Ossietzky Universitt Oldenburg, Germany
Marc Frappier, Sherbrooke University, Canada
Hubert Garavel, Inria, France
Stefania Gnesi, ISTI-CNR, Italy
Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA
Rob Hierons, Brunel University, UK
Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Ireland
Falk Howar, Carnegie Mellon University, USA
Florentin Ipate, University of Bucharest, Romania
Martin Leucker, University of Lbeck, Germany
Peter Lindsay, The University of Queensland, Australia
Antnia Lopes, University of Lisbon, Portugal
Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
Stephan Merz, Inria, France
Mizuhito Ogawa, Japan Advanced Institute of Science and Technology, Japan
Fernando Orejas, Universitat Politcnica de Catalunya, Spain
Gordon Pace, University of Malta, Malta
Dave Parker, University of Birmingham , UK
Corina Pasareanu, NASA Ames, USA
Anna Philippou, University of Cyprus, Cyprus
Sanjiva Prasad, Indian Institute of Technology Delhi, India
Jakob Rehof, Fraunhofer ISST, Germany
Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil
Bernhard Rumpe, RWTH Aachen University, Germany
Augusto Sampaio, Federal University of Pernambuco, Brazil
Gerardo Schneider, Chalmers | University of Gothenburg, Sweden
Marjan Sirjani, Reykjavik University, Iceland
Matthew Staats, University of Luxembourg
Martin Steffen, Olso University, Norway
Jing Sun, University of Auckland, New Zealand
Jun Sun, Singapore University of Technology and Design
Serdar Tasiran, Koc University, Turkey
Massimo Tivoli, University of L'Aquila, Italy
Dongmei Zhang, Microsoft Research, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Last updated: Apr 19 2024 at 12:27 UTC