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


http://www.fmcad.org/FMCAD18


# IMPORTANT DATES

Abstract Submission: May 11, 2018
Paper Submission: May 18, 2018
Author Notification: July 23, 2018
Camera-Ready Version: Aug 23, 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

Co-located with FMCAD:

15th International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2018)
November 5-6, 2018, Austin, Texas, USA
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html

# CONFERENCE SCOPE AND PUBLICATION

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).

# TOPICS OF INTEREST

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
verification.

* 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

Submissions must be made electronically in PDF format via EasyChair:

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

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.



# FMCAD 2017 COMMITTEES

## PROGRAM CHAIRS:

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 Galois
Warren Hunt The University of Texas at Austin
Alexander Ivrii IBM
Dejan Jovanovic SRI International
Temesghen Kahsai Amazon
George Karpenkov Apple
Tim King Google
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 Universit‡ della Svizzera italiana (USI Lugano, Switzerland)
Sharon Shoham Tel Aviv University
Anna Slobodova Centaur
Mathias Soeken Ecole Polytechnique FÈdÈrale de Lausanne
Daryl Stewart ARM
Christoph Sticksel The MathWorks
Niklas Sˆrensson Chalmer University of Technology
Murali Talupur FormalSim
Yakir Vizel Technion
Georg Weissenbacher Vienna University of Technology
Jaco van de Pol University of Twente


## STUDENT FORUM CHAIR:

Dejan Ivanovic, SRI International

## WEBMASTER:

Tom van Dijk, Johannes Kepler University

## PUBLICATION CHAIR:

Jade Alglave, University College London and Microsoft

## PUBLICITY CHAIR:

Yakir Vizel, Technion

## FMCAD STEERING COMMITTEE

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
Georg Weissenbacher, TU Vienna, Austria