[Om-announce] FMCAD 2018 - Call for Papers

geoff at cs.miami.edu geoff at cs.miami.edu
Tue Feb 6 16:16:17 CET 2018

International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
Austin, Texas, October 30 - November 2, 2018



Abstract Submission: May 11, 2018
Paper Submission: May 18, 2018
Author Notification: July 18, 2018
Camera-Ready Version: Aug 19, 2018

All deadlines are 11:59 pm AoE (Anywhere on Earth)

FMCAD Tutorial Day: Oct 30, 2018
Regular Program: Oct 31 - Nov 2, 2018

Part of the FMCAD 2018 program:

FMCAD Student Forum


FMCAD 2018 is the eighteenth in a series of conferences on the theory
and applications of formal methods in hardware and system
verification. FMCAD provides a leading forum to researchers in
academia and industry for presenting and discussing groundbreaking
methods, technologies, theoretical results, and tools for reasoning
formally about computing systems. FMCAD covers formal aspects of
computer-aided system design including verification, specification,
synthesis, and testing.

FMCAD employs a rigorous peer-review process. Accepted papers are
distributed through both ACM and IEEE digital libraries. In addition,
published articles are made available freely on the conference page;
the authors retain the copyright. There are no publication fees. At
least one of the authors is required to register for the conference
and present the accepted paper. A small number of outstanding FMCAD
submissions will be considered for inclusion in a Special Issue of the
journal on Formal Methods in System Design (FMSD).


FMCAD welcomes submission of papers reporting original research on
advances in all aspects of formal methods and their applications to
computer- aided design. Topics of interest include (but are not
limited to):

   * Model checking, theorem proving, equivalence checking, abstraction
     and reduction, compositional methods, decision procedures at the
     bit- and word-level, probabilistic methods, combinations of
     deductive methods and decision procedures.

   * Synthesis and compilation for computer system descriptions,
     modeling, specification, and implementation languages, formal
     semantics of languages and their subsets, model-based design, design
     derivation and transformation, correct-by-construction methods.

   * Application of formal and semi-formal methods to functional and
     non-functional specification and validation of hardware and
     software, including timing and power modeling, verification of
     computing systems on all levels of abstraction, system-level design
     and verification for embedded systems, cyber-physical systems,
     automotive systems and other safety-critical systems,
     hardware-software co-design and verification, and transaction-level

   * Experience with the application of formal and semi-formal methods to
     industrial-scale designs; tools that represent formal verification
     enablement, new features, or a substantial improvement in the
     automation of formal methods.

   * Application of formal methods to verifying safety, connectivity and
     security properties of networks, distributed systems, smart 
     contracts, block chains, and IoT devices.


Submissions must be made electronically in PDF format via EasyChair:


Two categories of papers are invited: Regular papers, and Tool & Case
Study papers. Regular papers are expected to offer novel foundational
ideas, theoretical results, or algorithmic improvements to existing
methods, along with experimental impact validation where
applicable. Tool & Case Study papers are expected to report on the
design, implementation or use of verification (or related) technology
in a practically relevant context (which need not be industrial), and
its impact on design processes.

Both Regular and Tool & Case study papers must use the IEEE
Transactions format on letter-size paper with a 10-point font
size. Regular papers can be up to 8 pages in length and tool papers up
to 4 pages, although there is no requirement to fill all pages in
either category. Authors will be required to select the appropriate
paper category at abstract submission time. Submissions may contain an
optional appendix, which will not appear in the final version of the
paper. The reviewers should be able to assess the quality and the
relevance of the results in the paper without reading the appendix.

Submissions in both categories must contain original research that has
not been previously published, nor is concurrently submitted for
publication. Any partial overlap with published or concurrently
submitted papers must be clearly indicated. If experimental results
are reported, authors are strongly encouraged to provide the reviewers
access to their data at submission time, so that results can be
independently verified.



Nikolaj Bjorner,    Microsoft
Arie Gurfinkel,        University of Waterloo

## PC

Jade Alglave        University College London
June Andronick        CSIRO|Data61 and UNSW
Armin Biere        Johannes Kepler University Linz
Per Bjesse        Synopsys Inc.
Roderick Bloem        Graz University of Technology
Gianpiero Cabodi    Politechnico Torino
Supratik Chakraborty    IIT Bombay
Sylvain Conchon        Universite Paris-Sud
Bruno Dutertre        SRI international
Alberto Griggio        University of Trento
Liana Hadarean        Synopsys
Fei He            Tsinghua University
Joe Hendrix        University of Illinois at Urbana-Champaign
Warren Hunt        The University of Texas at Austin
Alexander Ivrii        IBM
Dejan Jovanovic        SRI International
Temesghen Kahsai    NASA Ames / CMU
George Karpenkov    VERIMAG
Igor Konnov        Vienna University of Technology
Ken McMillan        Microsoft
Alexander Nadel        Intel
Giles Reger        The University of Manchester
Leonid Ryzhyk        VMware Research
Martina Seidl        Johannes Kepler University Linz
Natasha Sharygina    Universite della Svizzera italiana (USI Lugano, Switzerland)
Sharon Shoham        Tel Aviv University
Anna Slobodova        Centaur
Mathias Soeken        Ecole Polytechnique Fédérale de Lausanne
Christoph Sticksel    The MathWorks
Niklas Sörensson    Chalmer University of Technology
Murali Talupur        FormalSim
Yakir Vizel        Princeton University
Georg Weissenbacher    Vienna University of Technology
Jaco van de Pol        University of Twente


Dejan Ivanovic, SRI International


Tom van Dijik, Johannes Kepler University


Jade Alglave, University College London and Microsoft


Yakir Vizel, Technion


Armin Biere, Johannes Kepler University in Linz, Austria
Alan Hu, University of British Columbia, Canada
Warren Hunt, University of Texas at Austin, USA
Vigyan Singhal, Oski Tech

More information about the Om-announce mailing list