FM 2016 - FM 2016: 21st International Symposium on Formal Methods

Website http://fm2016.cs.ucy.ac.cy | Edit Freely

Category Computing; Formal Methods; Theory and Tools for formal methods

Deadline: May 16, 2016 | Date: November 07, 2016-November 11, 2016

Venue/Country: Limassol, Cyprus, Cyprus

Updated: 2016-05-10 21:30:40 (GMT+9)

Call For Papers - CFP

Limassol, Cyprus, 7-11 November 2016

http://fm2016.cs.ucy.ac.cy

*** LAST CALL FOR PAPERS ***

IMPORTANT DATES

? Abstract submission deadline: 16 May 2016

? Full paper submission deadline: 30 May 2016

? Notification: 8 August 2016

? Camera ready: 5 September 2016

? Conference: 7-11 November 2016

FM 2016 is the latest in a series of symposia organized by Formal Methods

Europe, an independent association that encourages the use of, and research

on, formal methods for the engineering of computer-based systems and

software. The symposia have been notably successful in bringing together

researchers and industrial users around a programme of original papers on

research and industrial experience, workshops, tutorials, reports on tools,

projects, and ongoing doctoral work.

SCOPE AND TOPICS

FM 2016 will highlight the development and application of formal methods

in a wide range of domains including software, computer-based systems,

systems-of-systems, human interaction, manufacturing, sustainability,

power, transport, cities, healthcare, and biology. We also welcome papers

on experiences of formal methods in industry, and on the design and

validation of formal methods tools.

FM 2016 encourages submissions on formal methods for developing and

evaluating systems that interact with physical processes, and systems that

use artificial intelligence technology. Examples include autonomous systems,

robots, and cyber-physical systems in general. Applying formal methods to

these systems of growing interest and importance is challenging because

they exhibit much greater non-determinism than traditional systems, making

them challenging to assure.

The broad topics of interest for FM 2016 include, but are not limited to:

? Interdisciplinary formal methods: Techniques, tools and experiences

demonstrating formal methods in interdisciplinary frameworks.

? Formal methods in practice: Industrial applications of formal methods,

experience with formal methods in industry, tool usage reports, experiments

with challenge problems. Authors are encouraged to explain how formal

methods overcame problems, led to improved designs, or provided new

insights.

? Tools for formal methods: Advances in automated verification and

model-checking, tools integration, environments for formal methods, and

experimental validation of tools. Authors are encouraged to demonstrate

empirically that the new tool or environment advances the state of the art.

? Role of formal methods in software and systems engineering:

Development processes with formal methods, usage guidelines for formal

methods, and method integration. Authors are encouraged to evaluate

process innovations with respect to qualitative or quantitative improvements.

Empirical studies and evaluations are also solicited.

? Theoretical foundations: All aspects of theory related to specification,

verification, refinement, and static and dynamic analysis. Authors are

encouraged to explain how their results contribute to the solution of

practical problems with methods or tools.

?

KEYNOTE SPEAKERS

? Manfred Broy, Technical University of Munich, Germany

? Peter O'Hearn, University College London and Facebook, UK

? Jan Peleska, University of Bremen and Verified Software International,

Germany

SUBMISSION INFORMATION

Papers should be original work, not published or submitted elsewhere, in

Springer LNCS format, written in English, submitted through Easychair

(https://easychair.org/conferences/?conf=fm2016).

Each paper will be evaluated by at least three members of the Programme

Committee. Authors of papers reporting experimental work are strongly

encouraged to make their experimental results available for use by reviewers.

Similarly, case study papers should describe significant case studies and the

complete development should be made available at the time of review. The

usual criteria for novelty, reproducibility, correctness and the ability for

others to build upon the described work apply. Tool papers should explain

enhancements made compared to previously published work. A tool paper

need not present the theory behind the tool but should focus more on the

tool’s features, how it is used, its evaluation, and examples and screen shots

illustrating the tool’s use. Authors of tool papers should make their tool

available for use by reviewers.

We solicit two categories of papers:

? Regular Papers should not exceed 15 pages, not counting references

and appendices.

? Short papers, including tool papers, should not exceed 6 pages, not

counting references and appendices. Besides tool papers, short papers are

encouraged for any subject that can be described within the page limit, and

in particular for novel ideas without an extensive experimental evaluation.

Short papers will be accompanied by short presentations.

For regular and tool papers, an appendix can provide additional material such

as details on proofs or experiments. The appendix is not part of the page

count and not guaranteed to be read or taken into account by the reviewers.

It should not contain information necessary to the understanding and the

evaluation of the presented work. Papers will be accepted or rejected in the

category in which they were submitted?there will be no “demotions” from a

regular to a short paper.

BEST PAPER AWARD

During the conference, the Programme Committee Chairs will present an

award to the authors of the submission selected as the FM 2016 Best Paper.

PUBLICATION

Accepted papers will be published in the Symposium Proceedings to appear

in Springer’s Lecture Notes in Computer Science. Extended versions of

selected papers will be invited for publication in a special issue of one or

more journals.

LOCATION

FM 2016 is organized by the University of Cyprus and will take place at St.

Raphael Resort, Limassol, Cyprus.

GENERAL CHAIR

Anna Philippou, University of Cyprus, Cyprus

PROGRAMME CHAIRS

John S Fitzgerald, Newcastle University, UK

Stefania Gnesi, CNR-ISTI, Italy

Constance L Heitmeyer, Naval Research Laboratory, USA

PROGRAM COMMITTEE

Erika Abraham, RWTH Aachen University, Germany

Bernhard Aichernig, TU Graz, Austria

Gilles Barthe, IMDEA Software Institute, Spain

Nikolaj Bjørner, Microsoft Research, USA

Michael Butler, University of Southampton, UK

Andrew Butterfield, Trinity College, Dublin, Ireland

Ana Cavalcanti, University of York, UK

David Clark, University College, London, UK

Frank De Boer, CWI, Netherlands

Jin Song Dong, National University of Singapore, Singapore

Javier Esparza, Technical University of Munich, Germany

John Fitzgerald, Newcastle University, UK

Vijay Ganesh, University of Waterloo, Canada

Diego Garbervetsky, University of Buenos Aires, Argentina

Dimitra Giannakopoulou, NASA Ames, USA

Stefania Gnesi, ISTI-CNR, Italy

Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA

Anne E. Haxthausen, Technical University of Denmark, Denmark

Ian Hayes, University of Queensland, Australia

Constance Heitmeyer, Naval Research Laboratory, USA

Jozef Hooman, TNO-ESI and Radboud University Nijmegen, Netherlands

Laura Humphrey, Air Force Research Laboratory, USA

Fuyuki Ishikawa, National Institute of Informatics, Japan

Einar Broch Johnsen, University of Oslo, Norway

Cliff Jones, Newcastle University, UK

Joost-Pieter Katoen, RWTH Aachen University, Germany

Gerwin Klein, NICTA and University of New South Wales, Australia

Laura Kovacs, Chalmers University of Technology, Sweden

Peter Gorm Larsen, Aarhus University, Denmark

Yves Ledru, IMAG, France

Rustan Leino, Microsoft Research, USA

Elizabeth Leonard, Naval Research Laboratory, USA

Martin Leucker, University of Lübeck, Germany

Michael Leuschel, University of Düsseldorf, Germany

Zhiming Liu, Birmingham City University, UK

Tiziana Margaria, Lero, Ireland

Mieke Massink, CNR-ISTI, Italy

Annabelle McIver, Macquarie University, Australia

Dominique Méry, Université de Lorraine, LORIA, France

Peter Müller, ETH Zürich, Switzerland

Tobias Nipkow, TU München, Germany

José Oliveira, Universidade do Minho, Portugal

Olaf Owe, University of Oslo, Norway

Sam Owre, SRI International, USA

Anna Philippou, University of Cyprus, Cyprus

Elvinia Riccobene, DTI - University of Milan, Italy

Grigore Rosu, University of Illinois at Urbana-Champaign, USA

Augusto Sampaio, Federal University of Pernambuco, Brazil

Gerardo Schneider, Chalmers & University of Gothenburg, Sweden

Natasha Sharygina, University of Lugano, Switzerland

Marjan Sirjani, Reykjavik University, Iceland

Ana Sokolova, University of Salzburg, Austria

Jun Sun, Singapore University of Technology and Design

Kenji Taguchi, AIST, Japan

Stefano Tonetta, FBK-irst, Italy

Marcel Verhoef, European Space Agency, Netherlands

Alan Wassyng, McMaster University, Canada

Heike Wehrheim, University of Paderborn, Germany

Michael Whalen, University of Minnesota, USA

Jim Woodcock, University of York, UK

Fatiha Zaidi, Université Paris-Sud, France

Gianluigi Zavattaro, University of Bologna, Italy

Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China

Jian Zhang, Institute of Software, Chinese Academy of Sciences, China