Logic List Mailing Archive

CfP: FMCAD 2026: Formal Methods in Computer-Aided Design, 14–18 September 2026, Graz (Austria), deadline: 11 May 2026 (extended)

Dear Colleagues,

Due to several requests, we are extending the submission deadlines for FMCAD 2026.

**New deadlines:**

* Abstract submission: May 4, 2026 (AoE)
* Paper submission: May 11, 2026 (AoE)

FMCAD 2026 (Formal Methods in Computer-Aided Design) will take place in Graz, Austria, September 1418, 2026.

We encourage you to take advantage of the additional time and submit your latest work. This extension is intended to accommodate ongoing work.

The full Call for Papers, including submission details and topics of interest, is available here:
https://fmcad.org/FMCAD26/cfp/

The important dates are summarized here:
https://fmcad.org/FMCAD26/important_dates/

Best regards,
The FMCAD 2026 Organizing Committee
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php