[TYPES/announce] iFM 2018 Call for Papers

[HaoWu]

===========================================================

                     CALL FOR PAPERS

                         iFM 2018     

 

14th International Conference on integrated Formal Methods 

           September 5-7, 2018, Maynooth, Ireland

 

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

===========================================================

 

=== Important dates ===

 

Abstract submission: Monday, 16 April 2018

Paper submission: Friday, 20 April 2018

Notification: Thursday, 14 June 2018

Camera-ready copy: Tuesday, 1 July 2018

Conference: 5-7 September 2018

 

Deadlines expire at 23:59 anywhere on earth on the dates displayed

above.

 

=== 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 15 pages) on

     -  original scientific research results

     -  tools, their foundation and evaluations

     -  applications of formal methods, including rigorous 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 include bibliography and any appendices. 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, ENSIEE, 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171214/90fcaeab/attachment.html>