posted by user: arie || 5471 views || tracked by 18 users: [display]

FMCAD 2018 : International Conference on Formal Methods in Computer-Aided Design


Conference Series : Formal Methods in Computer-Aided Design
When Oct 30, 2018 - Nov 2, 2018
Where Austin, Texas, USA
Abstract Registration Due May 11, 2018
Submission Deadline May 18, 2018
Notification Due Jul 18, 2018
Final Version Due Aug 19, 2018
Categories    computer science   formal methods   logic   verification

Call For Papers

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

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
HEART 2022   2022 : 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies
RiE 2022   13th International Conference on Robotics in Education
SASIMI 2022   The 24th Workshop on Synthesis And System Integration of Mixed Information technologies
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
CMCA 2022   11th International Conference on Control, Modelling, Computing and Applications
HEART 2022   2022 : 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications