Our apologies if you have received multiple copies. #################################################################### FIRST CALL FOR PAPERS 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) http://sefm2014.inria.fr/ Grenoble, France September 1-5, 2014 #################################################################### 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. -------------------------------------------------------------------- Important Dates Abstract Submission: March 14, 2014 Paper Submission: March 21, 2014 (AoE) Notification: May 19, 2014 Camera Ready: June 13, 2014 -------------------------------------------------------------------- Topics of Interest The topics of this conference include, but are not limited to: - Formal requirement analysis, modeling, specification and design - Abstraction and refinement - Formal methods for probabilistic verification and synthesis - Programming languages, program analysis and type theory - Formal methods for self-adaptive systems, 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 - Software verification and validation - 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 - Education and formal methods -------------------------------------------------------------------- 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/account/signin.cgi?conf=sefm2014 We solicit two categories of papers: - Research papers should describe fully developed work and should not exceed 15 pages (including appendices). 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 a relevant journal. -------------------------------------------------------------------- Conference Chair Radu Mateescu - Inria Grenoble, Rh?ne-Alpes, France Program Chairs Dimitra Giannakopoulou, NASA Ames, USA Gwen Sala?n, Grenoble INP, Inria, 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 Fr?nzle, Carl von Ossietzky Universit?t 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 L?beck, Germany Peter Lindsay, The University of Queensland, Australia Ant?nia 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 Polit?cnica 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]