FMCAD: Formal Methods in Computer-Aided Design



Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FMCAD 2018 International Conference on Formal Methods in Computer-Aided Design
Oct 30, 2018 - Nov 2, 2018 Austin, Texas, USA May 18, 2018 (May 11, 2018)
FMCAD 2017 Formal Methods in Computer-Aided Design
Oct 2, 2017 - Oct 6, 2017 Vienna, Austria May 8, 2017 (May 1, 2017)
FMCAD 2016 Formal Methods in Computer-Aided Design
Oct 4, 2016 - Oct 6, 2016 Mountain View, CA, USA May 9, 2016 (May 2, 2016)
FMCAD 2015 Formal Methods in Computer-Aided Design
Sep 27, 2015 - Sep 30, 2015 Austin, Texas TBD
FMCAD 2014 Formal Methods in Computer-Aided Design
Oct 21, 2014 - Oct 24, 2014 Lausanne, Switzerland May 16, 2014 (May 6, 2014)
FMCAD 2013 Formal Methods in Computer-Aided Design
Oct 20, 2013 - Oct 23, 2013 Portland, Oregon May 15, 2013 (May 8, 2013)
FMCAD 2012 Formal Methods in Computer-Aided Design
Oct 22, 2012 - Oct 25, 2012 Microsoft Research Cambridge, UK May 20, 2012 (May 9, 2012)
FMCAD 2011 International Conference on Formal Methods in Computer-Aided Design
Oct 30, 2011 - Nov 2, 2011 Austin, Texas, USA May 18, 2011 (May 11, 2011)
FMCAD 2010 International Conference on Formal Methods in Computer-Aided Design
Oct 20, 2010 - Oct 23, 2010 Lugano, Switzerland May 5, 2010
FMCAD 2009 Formal Methods in Computer-Aided Design
Nov 15, 2009 - Nov 18, 2009 Austin, TX Jun 5, 2009 (May 29, 2009)
FMCAD 2008 Formal Methods in Computer-Aided Design
Nov 17, 2008 - Nov 20, 2008 Portland, OR, USA May 12, 2008

Present CFP : 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 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


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


Dejan Ivanovic, SRI International


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

Related Resources

ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
FM 2021   Formal Methods 2021
AIP Journal - Indexed in Scopus 2020   Journal of Social and Business Informatics - Acta Informatica Pragensia
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ESOP 2021   30th European Symposium on Programming
ICSC 2021   International Conference on Semantic Computing
COMIT 2020   4th International Conference on Computer Science and Information Technology
SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CPP 2021   Certified Programs and Proofs