<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
*****************************************************************************<br>
CALL FOR PAPERS - FMCAD 2021<br>
*****************************************************************************<br>
</p>
<p>International Conference on<br>
Formal Methods in Computer-Aided Design (FMCAD)<br>
Yale University, 2021<br>
<a href="https://fmcad.org/FMCAD21/">https://fmcad.org/FMCAD21/</a></p>
<h4 id="important-dates">IMPORTANT DATES</h4>
<div style="display: inline-block; width:200px">Abstract Submission:</div>
May 7, 2021<br>
<div style="display: inline-block; width:200px">Paper Submission:</div>
May 14, 2021<br>
<div style="display: inline-block; width:200px">Author Response:</div>
June 23-25, 2021<br>
<div style="display: inline-block; width:200px">Author Notification:</div>
July 2, 2021<br>
<div style="display: inline-block; width:200px">Camera-Ready
Version:</div>
August 16, 2021<br>
<div style="display: inline-block; width:200px">Early registration:</div>
September 15, 2021<br>
<p>All deadlines are 11:59 pm AoE (Anywhere on Earth)</p>
<div style="display: inline-block; width:200px">FMCAD Tutorial Day:</div>
Oct. 19, 2021<br>
<div style="display: inline-block; width:200px">Regular Program:</div>
Oct. 20-22, 2021<br>
<br>
<h4 id="part-of-the-fmcad-2021-program">Part of the FMCAD 2021
program</h4>
<p>FMCAD Student Forum</p>
<h4 id="co-located-with-fmcad">Co-located with FMCAD</h4>
<p>VSTTE 2021</p>
<h4 id="conference-scope-and-publication">CONFERENCE SCOPE AND
PUBLICATION</h4>
<p>FMCAD 2021 is the twenty-first 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.</p>
<p>FMCAD employs a rigorous peer-review process. Accepted papers are
published by TU Wien Academic Press under a Creative Commons
license
(the authors retain the copyright) and distributed through the
IEEE
XPlore digital library. 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).</p>
<h4 id="topics-of-interest">TOPICS OF INTEREST</h4>
<p>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):</p>
<ul>
<li>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.</li>
<li>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.</li>
<li>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.</li>
<li>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.</li>
<li>Application of formal methods to verifying safety,
connectivity and
security properties of networks, distributed systems, smart
contracts, block chains, and IoT devices.</li>
</ul>
<h4 id="submissions">SUBMISSIONS</h4>
<p>Submissions must be made electronically in PDF format via
EasyChair:
<br>
<a href="https://easychair.org/my/conference?conf=fmcad21">https://easychair.org/my/conference/?conf=fmcad21</a></p>
<p>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.</p>
<p>Both Regular and Tool & Case study papers must use the IEEE
Transactions format on letter-size paper with a 10-point font
size.
Papers in both categories can be either 8 pages (long) or 4 pages
(short) in length not including references. Short papers that
describe
emerging results, practical experiences, or original ideas that
can be
described succinctly are encouraged. Authors will be required to
select an 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.</p>
<p>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. The review process is single blind.</p>
<p>Authors of accepted contributions will be required to sign the
FMCAD
copyright transfer form found here: <a
href="https://fmcad.or.at/pdf/copyright.pdf">https://fmcad.or.at/pdf/copyright.pdf</a>.</p>
<h4 id="student-forum">STUDENT FORUM</h4>
<p>Continuing the tradition of the previous years, FMCAD 2021 is
hosting
a Student Forum that provides a platform for graduate students at
any
career stage to introduce their research to the wider Formal
Methods
community, and solicit feedback.</p>
<p>Submissions for the event must be short reports describing
research
ideas or ongoing work that the student is currently pursuing, and
must
be within the scope of FMCAD. Work, part of which has been
previously
published, will be considered; the novel aspect to be addressed in
future work must be clearly described in such cases. All
submissions
will be reviewed by a select group of FMCAD program committee
members.</p>
<h4 id="fmcad-2021-committees">FMCAD 2021 COMMITTEES</h4>
<p><strong>PROGRAM CHAIRS</strong>:</p>
<div style="display: inline-block; width:200px">Ruzica Piskac</div>
Yale University<br>
<div style="display: inline-block; width:200px">Michael Whalen</div>
Amazon, Inc and the University of Minnesota<br>
<br>
<p><strong>PC</strong>:
</p>
<div style="display: inline-block; width:200px">Erika Abraham</div>
RWTH Aachen University<br>
<div style="display: inline-block; width:200px">Jade Alglave</div>
University College London<br>
<div style="display: inline-block; width:200px">Pranav Ashar</div>
Real Intent<br>
<div style="display: inline-block; width:200px">Per Bjesse</div>
Synopsys Inc.<br>
<div style="display: inline-block; width:200px">Roderick Bloem</div>
Graz University of Technology<br>
<div style="display: inline-block; width:200px">Ivana Cerna</div>
Masaryk University<br>
<div style="display: inline-block; width:200px">Supratik Chakraborty</div>
IIT Bombay<br>
<div style="display: inline-block; width:200px">Sylvain Conchon</div>
Universite Paris-Sud<br>
<div style="display: inline-block; width:200px">Leonardo de Moura</div>
Microsoft<br>
<div style="display: inline-block; width:200px">Rayna Dimitrova</div>
CISPA Helmholtz Center for Information Security<br>
<div style="display: inline-block; width:200px">Grigory Fedyukovich</div>
Florida State University<br>
<div style="display: inline-block; width:200px">Arie Gurfinkel</div>
University of Waterloo<br>
<div style="display: inline-block; width:200px">Liana Hadarean</div>
Amazon Web Services, Inc.<br>
<div style="display: inline-block; width:200px">Ziyad Hanna</div>
Cadence Design Systems<br>
<div style="display: inline-block; width:200px">Fei He</div>
Tsinghua University<br>
<div style="display: inline-block; width:200px">Marijn Heule</div>
Carnegie Mellon University<br>
<div style="display: inline-block; width:200px">Warren Hunt</div>
The University of Texas at Austin<br>
<div style="display: inline-block; width:200px">Alexander Ivrii</div>
IBM<br>
<div style="display: inline-block; width:200px">Dejan Jovanović</div>
SRI International<br>
<div style="display: inline-block; width:200px">Alan Jović</div>
FER Zagreb<br>
Laura Kovacs Vienna University of Technology<br>
<div style="display: inline-block; width:200px">Ton Chanh Le</div>
Stevens Institute of Technology<br>
<div style="display: inline-block; width:200px">Rebekah Leslie-Hurd</div>
Intel<br>
<div style="display: inline-block; width:200px">Kuldeep Meel</div>
National University of Singapore<br>
<div style="display: inline-block; width:200px">Elizabeth Polgreen</div>
University of California, Berkeley<br>
<div style="display: inline-block; width:200px">Andrew Reynolds</div>
University of Iowa<br>
<div style="display: inline-block; width:200px">Cristoph Scholl</div>
University of Freiburg<br>
<div style="display: inline-block; width:200px">Natasha Sharygina</div>
Università della Svizzera italiana (USI Lugano, Switzerland)<br>
<div style="display: inline-block; width:200px">Anna Slobodova</div>
Centaur Technology<br>
<div style="display: inline-block; width:200px">Christoph Sticksel</div>
The Mathworks<br>
<div style="display: inline-block; width:200px">Murali Talupur</div>
Amazon Web Services, Inc.<br>
<div style="display: inline-block; width:200px">Jean-Baptiste
Tristram</div>
Boston College<br>
<div style="display: inline-block; width:200px">Yakir Vizel</div>
Technion<br>
<div style="display: inline-block; width:200px">Thomas Wahl</div>
Northeastern University<br>
<div style="display: inline-block; width:200px">Georg Weissenbacher</div>
Vienna University of Technology<br>
<div style="display: inline-block; width:200px">Thomas Wies</div>
New York University<br>
<div style="display: inline-block; width:200px">Valentin Wüstholz</div>
ConsenSys<br>
<div style="display: inline-block; width:200px">Lenore Zuck</div>
University of Illinois in Chicago<br>
<p><br>
</p>
<p><strong>STUDENT FORUM CHAIR</strong>:</p>
<div style="display: inline-block; width:200px">Mark Santolucito</div>
Barnard College<br>
<br>
<p><strong>PUBLICATION CHAIR</strong>:
</p>
<div style="display: inline-block; width:200px">Georg Weissenbacher</div>
TU Wien<br>
<br>
<p><strong>SPONSORSHIP CHAIR</strong>:
</p>
<div style="display: inline-block; width:200px">Daniel Schoepe</div>
Amazon Web Services, Inc.<br>
<br>
<p><strong>FMCAD STEERING COMMITTEE</strong>:</p>
<div style="display: inline-block; width:200px">Clark Barrett</div>
Stanford University, CA, USA<br>
<div style="display: inline-block; width:200px">Armin Biere</div>
Johannes Kepler University in Linz, Austria<br>
<div style="display: inline-block; width:200px">Georg Weissenbacher</div>
TU Vienna, Austria<br>
<div style="display: inline-block; width:200px">Anna Slobodova</div>
Centaur Technology, TX, USA
</body>
</html>