Email Gateway (Aug 06 2025 at 06:27): Email Gateway (Aug 06 2025 at 06:27):From: Daniela Kaufmann <daniela.kaufmann@tuwien.ac.at>
=====================================================================
*FMCAD 2025 *- 25th Intl Conference on Formal Methods in Computer-Aided
Design
/Call for Participation /
October 6--10, 2025 SRI International Headquarters Menlo Park,
California, US
https://fmcad.org/FMCAD25
Registration link: https://fmcad.org/FMCAD25/registration/
=====================================================================
FMCAD 2025 will be held at the SRI International Headquarters in Menlo
Park, California, USA, from October 6 to October 10, 2025. The
conference includes:
FMCAD 2025 is the twenty-fifth 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 2025 is hosted by SRI. The Menlo Park campus is situated in the
heart of Silicon Valley just minutes from Stanford University and major
tech companies. SRI is an independent nonprofit R&D institute with deep
roots in Silicon Valley. With a nearly 80-year legacy, SRI’s
technologies, research, and ideas have had a profound impact on every
one of our lives — at home, at work, at school, and at play. SRI’s teams
work in locations from coast-to-coast and in Tokyo, collaborate across
fields and disciplines, and take an integrated approach to supporting
government and commercial clients and addressing some of the world’s
greatest challenges.
The registrations for the conference is now open.
Early registration deadline: August 24, 2025, 23:59 PT
Registration link: https://fmcad.org/FMCAD25/registration/
We look forward to seeing you in Menlo Park!
Best regards,
Daniela Kaufmann and Ahmed Irfan
FMCAD 2025 Co-Chairs
Last updated: Aug 20 2025 at 20:23 UTC