2024 Formal Methods in Computer-Aided Design (FMCAD)

Please note that the event you are currently viewing has already passed and is now considered archived.

Dates	October 15-18, 2024
Location	Prague, Czechia
Organizer	FMCAD Association; IEEE Council on Electronic Design
Topics	Electrical and Electronic Engineering Engineering Telecommunications and Networks
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.

Similar events