[TYPES/announce] FMCAD 2021 2nd Call for Participation

[Michael Whalen]

Apologies for multiple postings.


The 21th International Conference on Formal Methods in Computer-Aided
Design (FMCAD) will be held from October 19 to October 22, 2021.

The conference will be held virtually.  Registration is free, but
obligatory to attend the conference: https://urldefense.com/v3/__https://fmcad.org/FMCAD21/registration/__;!!IBzWLUs!F5lMj8VnZ_llBX8LWX3DOLs6vT3Dm_WiDrwH_DePCcgr1oRrhoaXbFx-pSvk2yKYPLMb5ZcD7Ac6FA$ 

FMCAD 2021: CALL FOR PARTICIPATION

International Conference on Formal Methods in Computer-Aided Design (FMCAD)

https://urldefense.com/v3/__https://www.fmcad.org/FMCAD21__;!!IBzWLUs!F5lMj8VnZ_llBX8LWX3DOLs6vT3Dm_WiDrwH_DePCcgr1oRrhoaXbFx-pSvk2yKYPLMb5Ze8syecDg$ 

FMCAD Tutorial Day:             October 19, 2021

FMCAD Regular Program:      October 20-22, 2021

Co-Chairs: Ruzica Piskac and Michael Whalen

CONFERENCE SCOPE

FMCAD'21 is the 21st 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 ground-breaking 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.

TECHNICAL PROGRAM

The program comprises presentations of 30 papers, 4 tutorials and 3
keynotes, a student forum, and a sponsors’ night:

https://urldefense.com/v3/__https://easychair.org/smart-program/FMCAD2021/__;!!IBzWLUs!F5lMj8VnZ_llBX8LWX3DOLs6vT3Dm_WiDrwH_DePCcgr1oRrhoaXbFx-pSvk2yKYPLMb5Zdo7h4Wyg$ 

Short presentations will be given on Zoom and longer versions of the talks
will be made available for download.

KEYNOTES

Barbara Liskov

“From Viewstamped Replication to Blockchains”

Seny Kamara

“Algorithms for the People”

Peter Sewell

“Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A,
and RISC-V”

TUTORIALS

Frits Vaandrager

“Active Automata Learning: from L* to L#”

Viktor Kunčak

“Stainless Verification System Tutorial”

Rayna Dimitrova

“Reactive Synthesis Beyond Realizability”

Matteo Maffei

“Formal Methods for the Security Analysis of Smart Contracts”



SPONSORS

Financial support: Amazon Web Services, Amazon Prime Video, Intel, Cadence,
Centaur, Synopsys, Galois, Novi.

Technical Co-Sponsor: IEEE

Supported by the FMCAD Association (https://urldefense.com/v3/__https://fmcad.or.at__;!!IBzWLUs!F5lMj8VnZ_llBX8LWX3DOLs6vT3Dm_WiDrwH_DePCcgr1oRrhoaXbFx-pSvk2yKYPLMb5Zd4ZKR5TA$ )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211004/770f200c/attachment-0001.htm>