[FM-India] 21st International Symposium on Formal Methods (FM 2016): Third Call for Papers

Madhavan Mukund madhavan at cmi.ac.in
Sat Apr 2 00:47:18 IST 2016


 Date: Fri, 1 Apr 2016 18:03:01 +0300
 From: Announce Announcements <announce at cs.ucy.ac.cy>
 To: fmindia <fmindia at cmi.ac.in>
 Subject: 21st International Symposium on Formal Methods (FM 2016): Third  Call for Papers
 
 FM 2016: 21st International Symposium on Formal Methods
 
 Limassol, Cyprus, 7-11 November 2016
 
 http://fm2016.cs.ucy.ac.cy
 
 *** THIRD 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
 Myla Archer, Naval Research Laboratory, USA
 Gilles Barthe, IMDEA Software Institute, Spain
 Nikolaj Bjo/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
 Wolfgang Grieskamp, Google, USA
 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
 LM Opening



More information about the FMIndia mailing list