<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">(apologies for multiple copies)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">========================================================================<o:p></o:p></p>
<p class="MsoNormal">2023 Formal Methods in Computer-Aided Design (FMCAD): Call for Papers<o:p></o:p></p>
<p class="MsoNormal">========================================================================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">GENERAL INFORMATION<o:p></o:p></p>
<p class="MsoNormal">-------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Conference website: <a href="https://urldefense.com/v3/__https://fmcad.org/FMCAD23/__;!!IBzWLUs!W6tNJ66zvSkhHk-2vb4UpCg_NSFhwv829sq_gzzDdpQgZeuJtxdYXbpFHB_THG49FixC_dwn60yxpqxKMO-ZgKEgIZFzVSgk9oGJYIri$">https://fmcad.org/FMCAD23/</a><o:p></o:p></p>
<p class="MsoNormal">Conference location: Ames, Iowa, USA<o:p></o:p></p>
<p class="MsoNormal">Part of the FMCAD 2023 program: FMCAD Student Forum<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">IMPORTANT DATES<o:p></o:p></p>
<p class="MsoNormal">---------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Abstract Submission: May 08<o:p></o:p></p>
<p class="MsoNormal">Paper Submission: May 15<o:p></o:p></p>
<p class="MsoNormal">Author Response Period: June 22-25<o:p></o:p></p>
<p class="MsoNormal">Author Notification: July 1<o:p></o:p></p>
<p class="MsoNormal">Camera-Ready Version: August 14<o:p></o:p></p>
<p class="MsoNormal">Early registration deadline: September 28<o:p></o:p></p>
<p class="MsoNormal">Conference dates: October 23-27<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All deadlines are 11:59 pm AoE (Anywhere on Earth)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FMCAD Tutorial Day: Oct. 23, 2023<o:p></o:p></p>
<p class="MsoNormal">Regular Program: Oct. 24-27, 2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">CONFERENCE SCOPE AND PUBLICATION<o:p></o:p></p>
<p class="MsoNormal">--------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FMCAD 2023 is the twenty-third in a series of conferences on the theory<o:p></o:p></p>
<p class="MsoNormal">and applications of formal methods in hardware and system<o:p></o:p></p>
<p class="MsoNormal">verification. FMCAD provides a leading forum to researchers in academia<o:p></o:p></p>
<p class="MsoNormal">and industry for presenting and discussing groundbreaking methods,<o:p></o:p></p>
<p class="MsoNormal">technologies, theoretical results, and tools for reasoning formally about<o:p></o:p></p>
<p class="MsoNormal">computing systems. FMCAD covers formal aspects of computer-aided system<o:p></o:p></p>
<p class="MsoNormal">design including verification, specification, synthesis, and testing.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FMCAD employs a rigorous peer-review process. Accepted papers are<o:p></o:p></p>
<p class="MsoNormal">published by TU Wien Academic Press under a Creative Commons license (the<o:p></o:p></p>
<p class="MsoNormal">authors retain the copyright) and distributed through the IEEE XPlore<o:p></o:p></p>
<p class="MsoNormal">digital library. There are no publication fees. At least one of the<o:p></o:p></p>
<p class="MsoNormal">authors is required to register for the conference and present the<o:p></o:p></p>
<p class="MsoNormal">accepted paper.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">TOPICS OF INTEREST<o:p></o:p></p>
<p class="MsoNormal">------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FMCAD welcomes submission of papers reporting original research on<o:p></o:p></p>
<p class="MsoNormal">advances in all aspects of formal methods and their applications to<o:p></o:p></p>
<p class="MsoNormal">computer- aided design. Topics of interest include (but are not limited<o:p></o:p></p>
<p class="MsoNormal">to):<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Model checking, theorem proving, equivalence checking, abstraction and<o:p></o:p></p>
<p class="MsoNormal">reduction, compositional methods, decision procedures at the bit- and<o:p></o:p></p>
<p class="MsoNormal">word-level, probabilistic methods, combinations of deductive methods and<o:p></o:p></p>
<p class="MsoNormal">decision procedures.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Synthesis and compilation for computer system descriptions, modeling,<o:p></o:p></p>
<p class="MsoNormal">specification, and implementation languages, formal semantics of<o:p></o:p></p>
<p class="MsoNormal">languages and their subsets, model-based design, design derivation and<o:p></o:p></p>
<p class="MsoNormal">transformation, correct-by-construction methods.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Application of formal and semi-formal methods to functional and<o:p></o:p></p>
<p class="MsoNormal">non-functional specification and validation of hardware and software,<o:p></o:p></p>
<p class="MsoNormal">including timing and power modeling, verification of computing systems<o:p></o:p></p>
<p class="MsoNormal">on all levels of abstraction, system-level design and verification for<o:p></o:p></p>
<p class="MsoNormal">embedded systems, cyber-physical systems, automotive systems and other<o:p></o:p></p>
<p class="MsoNormal">safety-critical systems, hardware-software co-design and verification,<o:p></o:p></p>
<p class="MsoNormal">and transaction-level verification.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Experience with the application of formal and semi-formal methods to<o:p></o:p></p>
<p class="MsoNormal">industrial-scale designs; tools that represent formal verification<o:p></o:p></p>
<p class="MsoNormal">enablement, new features, or a substantial improvement in the automation<o:p></o:p></p>
<p class="MsoNormal">of formal methods.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Application of formal methods to verifying safety, connectivity and<o:p></o:p></p>
<p class="MsoNormal">security properties of networks, distributed systems, smart contracts,<o:p></o:p></p>
<p class="MsoNormal">block chains, and IoT devices.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SUBMISSIONS<o:p></o:p></p>
<p class="MsoNormal">-----------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions must be made electronically in PDF format via CMT:
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://cmt3.research.microsoft.com/fmcad2023/__;!!IBzWLUs!W6tNJ66zvSkhHk-2vb4UpCg_NSFhwv829sq_gzzDdpQgZeuJtxdYXbpFHB_THG49FixC_dwn60yxpqxKMO-ZgKEgIZFzVSgk9sO896eF$">https://cmt3.research.microsoft.com/fmcad2023/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Two categories of papers are invited: Regular papers, and Tool & Case<o:p></o:p></p>
<p class="MsoNormal">Study papers. Regular papers are expected to offer novel foundational<o:p></o:p></p>
<p class="MsoNormal">ideas, theoretical results, or algorithmic improvements to existing<o:p></o:p></p>
<p class="MsoNormal">methods, along with experimental impact validation where applicable. Tool<o:p></o:p></p>
<p class="MsoNormal">& Case Study papers are expected to report on the design, implementation<o:p></o:p></p>
<p class="MsoNormal">or use of verification (or related) technology in a practically relevant<o:p></o:p></p>
<p class="MsoNormal">context (which need not be industrial), and its impact on design<o:p></o:p></p>
<p class="MsoNormal">processes.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Both Regular and Tool & Case study papers must use the IEEE Transactions<o:p></o:p></p>
<p class="MsoNormal">format on letter-size paper with a 10-point font size. Papers in both<o:p></o:p></p>
<p class="MsoNormal">categories can be either 8 pages (long) or 4 pages (short) in length not<o:p></o:p></p>
<p class="MsoNormal">including references. Short papers that describe emerging results,<o:p></o:p></p>
<p class="MsoNormal">practical experiences, or original ideas that can be described succinctly<o:p></o:p></p>
<p class="MsoNormal">are encouraged. Authors will be required to select an appropriate paper<o:p></o:p></p>
<p class="MsoNormal">category at abstract submission time. Submissions may contain an optional<o:p></o:p></p>
<p class="MsoNormal">appendix, which will not appear in the final version of the paper. The<o:p></o:p></p>
<p class="MsoNormal">reviewers should be able to assess the quality and the relevance of the<o:p></o:p></p>
<p class="MsoNormal">results in the paper without reading the appendix.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions in both categories must contain original research that has not<o:p></o:p></p>
<p class="MsoNormal">been previously published, nor is concurrently submitted for<o:p></o:p></p>
<p class="MsoNormal">publication. Any partial overlap with published or concurrently submitted<o:p></o:p></p>
<p class="MsoNormal">papers must be clearly indicated. If experimental results are reported,<o:p></o:p></p>
<p class="MsoNormal">authors are strongly encouraged to provide the reviewers access to their<o:p></o:p></p>
<p class="MsoNormal">data at submission time, so that results can be independently<o:p></o:p></p>
<p class="MsoNormal">verified. The review process is single blind.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Authors of accepted contributions will be required to sign the FMCAD<o:p></o:p></p>
<p class="MsoNormal">copyright transfer form found here: <a href="https://urldefense.com/v3/__https://fmcad.or.at/pdf/copyright.pdf__;!!IBzWLUs!W6tNJ66zvSkhHk-2vb4UpCg_NSFhwv829sq_gzzDdpQgZeuJtxdYXbpFHB_THG49FixC_dwn60yxpqxKMO-ZgKEgIZFzVSgk9uKdQ_-T$">
https://fmcad.or.at/pdf/copyright.pdf</a>.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">STUDENT FORUM<o:p></o:p></p>
<p class="MsoNormal">-------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Continuing the tradition of the previous years, FMCAD 2023 is hosting a<o:p></o:p></p>
<p class="MsoNormal">Student Forum that provides a platform for graduate students at any career<o:p></o:p></p>
<p class="MsoNormal">stage to introduce their research to the wider Formal Methods community,<o:p></o:p></p>
<p class="MsoNormal">and solicit feedback.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions for the event must be short reports describing research ideas<o:p></o:p></p>
<p class="MsoNormal">or ongoing work that the student is currently pursuing, and must be within<o:p></o:p></p>
<p class="MsoNormal">the scope of FMCAD. Work, part of which has been previously published,<o:p></o:p></p>
<p class="MsoNormal">will be considered; the novel aspect to be addressed in future work must<o:p></o:p></p>
<p class="MsoNormal">be clearly described in such cases. All submissions will be reviewed by a<o:p></o:p></p>
<p class="MsoNormal">select group of FMCAD program committee members.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FMCAD 2023 COMMITTEES<o:p></o:p></p>
<p class="MsoNormal">---------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PROGRAM CHAIRS:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Alexander Nadel, Intel Corporation and Technion, Israel<o:p></o:p></p>
<p class="MsoNormal">Kristin Y. Rozier, Iowa State University, IA, USA<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PROGRAM COMMITTEE:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Alessandro Abate, Oxford<o:p></o:p></p>
<p class="MsoNormal">Guy Amir, Hebrew University<o:p></o:p></p>
<p class="MsoNormal">Clark Barrett, Stanford University<o:p></o:p></p>
<p class="MsoNormal">Per Bjesse, Synopsys Inc.<o:p></o:p></p>
<p class="MsoNormal">Roderick Bloem Graz, University of Technology<o:p></o:p></p>
<p class="MsoNormal">Ivana Cerna, Masaryk University<o:p></o:p></p>
<p class="MsoNormal">Supratik Chakraborty, IIT Bombay<o:p></o:p></p>
<p class="MsoNormal">Sylvain Conchon, Universite Paris-Sud<o:p></o:p></p>
<p class="MsoNormal">Rayna Dimitrova, CISPA Helmholtz Center for Information Security<o:p></o:p></p>
<p class="MsoNormal">Rohit Dureja, IBM<o:p></o:p></p>
<p class="MsoNormal">Grigory Fedyukovich, Florida State University<o:p></o:p></p>
<p class="MsoNormal">Mathias Fleury, University of Freiburg<o:p></o:p></p>
<p class="MsoNormal">Amit Goel, Amazon<o:p></o:p></p>
<p class="MsoNormal">Alberto Griggio, FBK<o:p></o:p></p>
<p class="MsoNormal">Arie Gurfinkel, University of Waterloo<o:p></o:p></p>
<p class="MsoNormal">Liana Hadarean, Amazon Web Services<o:p></o:p></p>
<p class="MsoNormal">Ziyad Hanna, Cadence Design Systems<o:p></o:p></p>
<p class="MsoNormal">William Harrison, Two Six Technologies<o:p></o:p></p>
<p class="MsoNormal">Bo-Yuan Huang, Intel<o:p></o:p></p>
<p class="MsoNormal">Alan Jovic, University of Zagreb<o:p></o:p></p>
<p class="MsoNormal">Daniela Kaufmann, TU Wien<o:p></o:p></p>
<p class="MsoNormal">Tim King, Google<o:p></o:p></p>
<p class="MsoNormal">Rebekah Leslie-Hurd, Cerebras<o:p></o:p></p>
<p class="MsoNormal">Andreas Lööw, Imperial College London<o:p></o:p></p>
<p class="MsoNormal">Kuldeep Meel, National University of Singapore<o:p></o:p></p>
<p class="MsoNormal">Baoluo Meng, GE Research<o:p></o:p></p>
<p class="MsoNormal">Naoko Okubo, Japan Aerospace Exploration Agency (JAXA)<o:p></o:p></p>
<p class="MsoNormal">Andrew Reynolds, University of Iowa<o:p></o:p></p>
<p class="MsoNormal">Philipp Ruemmer, University of Regensburg<o:p></o:p></p>
<p class="MsoNormal">Cristoph Scholl, University of Freiburg<o:p></o:p></p>
<p class="MsoNormal">Roberto Sebastiani, University of Trento<o:p></o:p></p>
<p class="MsoNormal">Cai Shaowei, Chinese Academy of Sciences<o:p></o:p></p>
<p class="MsoNormal">Natasha Sharygina, Università della Svizzera Italiana (USI Lugano)<o:p></o:p></p>
<p class="MsoNormal">Christoph Sticksel, The Mathworks<o:p></o:p></p>
<p class="MsoNormal">Christoph Torens, DLR<o:p></o:p></p>
<p class="MsoNormal">Nestan Tsikaridze, Stanford University<o:p></o:p></p>
<p class="MsoNormal">Yakir Vizel, Technion<o:p></o:p></p>
<p class="MsoNormal">Georg Weissenbacher, Vienna University of Technology<o:p></o:p></p>
<p class="MsoNormal">Michael Whalen, Amazon Web Services, Inc.<o:p></o:p></p>
<p class="MsoNormal">Shufang Zhu, Oxford<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">STUDENT FORUM CHAIRS:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Mikoláš Janota, Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), Czech Republic<o:p></o:p></p>
<p class="MsoNormal">Nina Narodytska, Samsung Research America, CA, USA<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SPONSORSHIP AND WEB CHAIR:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Yoni Zohar, Bar Ilan University, Israel<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PUBLICATION CHAIR:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Georg Weissenbacher, TU Wien<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FMCAD STEERING COMMITTEE:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Clark Barrett, Stanford University, CA, USA<o:p></o:p></p>
<p class="MsoNormal">Armin Biere, University of Freiburg, Germany<o:p></o:p></p>
<p class="MsoNormal">Ruzica Piskac, Yale University, CT, USA<o:p></o:p></p>
<p class="MsoNormal">Anna Slobodova, Intel Corporation, TX, USA<o:p></o:p></p>
<p class="MsoNormal">Georg Weissenbacher, TU Vienna, Austria<o:p></o:p></p>
</div>
<p>---------------------------------------------------------------------<br>
Intel Israel (74) Limited</p>
<p>This e-mail and any attachments may contain confidential material for<br>
the sole use of the intended recipient(s). Any review or distribution<br>
by others is strictly prohibited. If you are not the intended<br>
recipient, please contact the sender and delete all copies.</p></body>
</html>