The Coq mailing list

[Hao Wu <haowu AT cs.nuim.ie>]

===========================================================
                     CALL FOR PAPERS
                         iFM 2018     

 14th International Conference on integrated Formal Methods 
           September 5-7, 2018, Maynooth, Ireland

                https://ifm2018.cs.nuim.ie/
===========================================================

== News ==

- Extended deadlines
- Extended page limits

=== Important dates ===

Abstract submission: Wednesday, 25 April 2018 (EXTENDED!)
Paper submission: Wednesday, 2 May 2018 (EXTENDED!)
Notification: Thursday, 14 June 2018
Conference: 5-7 September 2018

== Keynote speakers ==

- Cristian Cadar, Imperial College London
- Ana Cavalcanti, University of York
- Viktor Vafeiadis, MPI-SWS

== Colocated events ==

- PhD Symposium
- FMICS: International Conference on Formal Methods for 
         Industrial Critical Systems

=== Objectives and scope ===

Applying formal methods may involve the usage of different formalisms
and different analysis techniques to validate a system, either because
individual components are most amenable to one formalism or technique,
because one is interested in different properties of the system, or
simply to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis: the combination of (formal and
semi-formal) methods for system development, regarding both modeling
and analysis. The conference covers all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.

Areas of interest include but are not limited to:
- Formal and semi-formal modelling notations
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Theorem proving, decision procedures, SAT/SMT solving 
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, distributed,
  or concurrent systems
- Abstraction and refinement
- Model learning and inference

=== Submission guidelines ===

iFM 2018 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of formal
method integration.

We accept papers in the following categories:

 - Regular papers (limit 18 pages) on
     -  original scientific research results
     -  tools, their foundation and evaluations
     -  applications of formal methods, including rigourous evaluations

 - Short papers (limit 8 pages) on
     -  any subject of interest in the area of formal methods that can be
             described with sufficient detail within the page limit

Page limits do not include the list of bibliographic references, which
can take up to 2 additional pages. All submissions must be original,
unpublished, and not submitted for publication elsewhere.  Each paper
will undergo a thorough review process.  Submissions will be judged on
the basis of significance, relevance, correctness, originality, and
clarity.

Submissions should be made using the iFM 2018 Easychair site: 

   https://easychair.org/conferences/?conf=ifm2018

Submissions must be in PDF format, using the Springer LNCS style
files.

The conference proceedings will be published in Springer's
Lecture Notes in Computer Science series.

All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early registration date, to be indicated by the organizers, and
present the paper.

=== Organization ===

= General chair =
Rosemary Monahan, Maynooth University, Ireland

= PC chairs =
Carlo A. Furia, Chalmers University of Technology, Sweden
Kirsten Winter, University of Queensland, Australia

= Program committee =
Erika Abraham, RWTH Aachen, Germany
Bernhard Aichernig, University of Graz, Austria
Elvira Albert, Complutense University of Madrid, Spain
Domenico Bianculli, University of Luxembourg, Luxembourg
Eerke Boiten, De Montfort University, UK
Einar Broch Johnsen, University of Oslo, Norway
Maria Christakis, MPI-SWS, Germany
David Cok, GrammaTech, USA
Robert Colvin, University of Queensland, Australia
Ferruccio Damiani, University of Turin, Italy
Eva Darulova, MPI SWS, Germany
Frank de Boer, CWI Amsterdam, Netherlands
John Derrick, University of Sheffield, UK
Brijesh Dongol, Brunel University, UK
Catherine Dubois, ENSIIE, France
Diego Garbervetsky, University of Buenos Aires, Argentina
Peter Hoefner, Data61, Australia
Marieke Huisman, University of Twente, Netherlands
Rajeev Joshi, NASA JPL, USA
Nikolai Kosmatov, CEA LIST, France
Laura Kovács, Vienna University of Technology, Austria
Rustan Leino, Amazon, USA
Larissa Meinicke, University of Queensland, Australia
Dominique Mery, LORIA Nancy, France
Toby Murray, University of Melbourne, Australia
Luigia Petre, Åbo Akademi University, Finland
Ruzica Piskac, Yale University, USA
Chris Poskitt, SUTD, Singapore
Kostis Sagonas, Uppsala University, Sweden
Gerhard Schellhorn, Universitaet Augsburg, Germany
Steve Schneider, University of Surrey, UK
Gerardo Schneider, University of Gothenburg, Sweden
Emil Sekerinski, McMaster University, Canada
Martin Steffen, University of Oslo, Norway
Helen Treharne, University of Surrey, UK
Caterina Urban, ETH Zurich, Switzerland
Mark Utting, University of Sunshine Coast, Australia
Heike Wehrheim, University of Paderborn, Germany
Mitsuharu Yamamoto, Chiba University, Japan
Chenyi Zhang, Jinan University, China

= Publicity chair =
Hao Wu, Maynooth University, Ireland

=== Conference location ===

iFM 2018 is organized by Maynooth University and will take place in
Maynooth, Ireland.