SEFM 2017: The 15th International Conference on Software Engineering and Formal Methods Fondazione Bruno Kessler Trento, Italy, September 4-8, 2017 |
Conference website | http://sefm17.fbk.eu/ |
Abstract registration deadline | April 6, 2017 |
Submission deadline | April 13, 2017 |
Notification of acceptance | May 29, 2017 |
The 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, will be held in Trento, Italy, September 4-8, 2017.
The conference aims to bring together leading researchers and practitioners 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 within practical software engineering methods and tools.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full research papers (up to 15 pages) describing original research results, case studies and tools;
- Short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet.
List of Topics
The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:
- New frontiers in software architecture: self-adaptive, service-oriented and cloud computing systems; component, object and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable systems.
- Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing, re-engineering and reuse.
- Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance and reuse.
- Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.
- Security and safety: security and mobility; safety-critical, fault-tolerant and secure systems; software certification.
- Design principles: programming languages; domain specific languages; type theory; abstraction and refinement.
Invited Speakers
- Marsha Chechik (University of Toronto, Canada)
- Jeff Kramer (Imperial College London, United Kingdom)
- Alberto Sangiovanni-Vincentelli (Berkeley University, United States)
Committees
Program Chairs
- Alessandro Cimatti (FBK, Italy)
- Marjan Sirjani (Mälardalen University, Sweden; Reykjavík University, Iceland)
Workshop Chairs
- Antonio Cerone (Nazarbayev University, Kazakhstan)
- Marco Roveri (FBK, Italy)
Program Committee
- Wolfgang Ahrendt (Chalmers University of Technology, Gothenburg, Sweden)
- Farhad Arbab (CWI and Leiden University, Amsterdam, Netherlands)
- Luis Barbosa (Universidade do Minho, Braga, Portugal)
- Antonia Bertolino (ISTI-CNR, Italy)
- Dirk Beyer (LMU Munich, Germany)
- Jonathan Bowen (London South Bank University, United Kingdom)
- Mario Bravetti (University of Bologna, Italy)
- Ana Cavalcanti (University of York, United Kingdom)
- Alessandro Cimatti (FBK, Italy)
- Jim Davies (University of Oxford, United Kingdom)
- Anke Dittmar (University of Rostock, Germany)
- Rocco De Nicola (IMT - School for Advanced Studies Lucca, Italy)
- John Derrick (Unversity of Sheffield, United Kingdom)
- George Eleftherakis (The University of Sheffield International Faculty, CITY College, Thessaloniki, Greece)
- José Luiz Fiadeiro (Royal Holloway, University of London, United Kingdom)
- Wan Fokkink (Vrije Universiteit Amsterdam, Netherlands)
- Adrian Francalanza (University of Malta)
- Hubert Garavel (INRIA Rhône-Alpes / CONVECS, France)
- Dimitra Giannakopoulou (NASA Ames, United States)
- Stefania Gnesi (ISTA-CNR, Italy)
- Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology, United States)
- Rob Hierons (Brunel University, London, United Kingdom)
- Hossein Hojjat (Cornell University, Ithaca, New York, United States)
- Michaela Huhn (Ostfalia, Germany)
- Einar Broch Johnsen (University of Oslo, Norway)
- Gabriel Juhas (Slovak University of Technology, Bratislava, Slovakia)
- Jens Knoop (TU Wien, Dept. of Computer Science, Austria)
- Paddy Krishnan (Oracle, Australia)
- Eva Kühn (TU Wien, Austria)
- Kung-Kiu Lau (The University of Manchester, United Kingdom)
- Sergio Mover (University of Colorado Boulder, United States)
- Viet Yen Nguyen (Hypefactors, København, Denmark)
- Fernando Orejas (UPC, Barcellona, Spain)
- Corina Pasareanu (CMU/NASA Ames Research Center, United States)
- Marinella Petrocchi (IIT-CNR, Italy)
- Anna Philippou (University of Cyprus, Cyprus)
- Sanjiva Prasad (Indian Institute of Technology, Delhi, India)
- Geguang Pu (East China Normal University, Shanghai, China)
- Bernhard Rumpe (RWTH Aachen University, Aachen, Germany)
- Gwen Salaün (Grenoble INP - INRIA - LIG, France)
- Augusto Sampaio (Federal university of Pernambuco, Recife, Brazil)
- Vesna Sesum-Cavic (TU Wien, Austria)
- Marjan Sirjani (Reykjavik University, Iceland)
- Graeme Smith (University of Queensland, Australia)
- Bernhard Steffen (Univ Dortmund, Germany)
- Markus Stumptner (University of South Australia, Australia)
- Francesco Tiezzi (Università di Camerino, Italy)
- Danny Weyns (Linnaeus University, Sweden)
Steering Committee
- Manfred Broy (Technische Universität, Munich, Germany)
- Radu Calinescu (University of York, United Kingdom)
- Antonio Cerone (Nazarbayev University, Kazakhstan)
- Rocco De Nicola (IMT Institute for Advanced Studies, Lucca, Italy)
- Mike Hinchey Lero (The Irish Software Engineering Research Centre, Ireland)
- Paddy Krishnan (Oracle Labs, Brisbane, Australia)
- Eva Kühn (TU Wien, Austria)
- Zhiming Liu (Birmingham City University, United Kingdom)
- Gwen Salaün (Grenoble INP, Inria, LIG, France)
Publication
SEFM 2017 proceedings will be published by Springer-Verlag in the Formal Methods subline of the Lecture Notes in Computer Science series.
Venue
The conference will be held in Trento, Italy, at Fondazione Bruno Kessler. For more information, please refer to http://sefm17.fbk.eu/.
Contact
All questions about submissions should be emailed to the conference chairs:
- Alessandro cimatti cimatti@fbk.eu
- Marjan Sirjani marjan@ru.is