[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

[Nguyen Dang]

Dear colleagues,

This is a quick final reminder that the submission deadline for the 2nd Workshop on Machine Learning for Solvers and Provers (ML4SP), held as part of the 2026 Federated Logic Conference (FLoC 2026) in Lisbon, is approaching in just two days on May 15, 2026 (AoE).

Important note regarding submission system: We apologise to anyone who experienced issues trying to submit recently. The submission system was temporarily closed due to a technical glitch, but the issue is now fully resolved and the system is open.

Submissions describing previously published work, ongoing research, and position papers and early-stage ideas intended to stimulate discussion are very welcome. 

The submissions do not need to be anonymised. All submissions will be reviewed by the PC members. A presentation time slot will be given to each accepted submission.

Submission link: https://submissions.floc26.org/ml4sp/

Workshop website: https://ml4sp.github.io/

We look forward to seeing your work and welcoming you to Lisbon this July!

Best wishes,

Vijay Ganesh, Georgia Tech (vgan...@gatech.edu)

Nguyen Dang, University of St Andrews (nt...@st-andrews.ac.uk)

(ML4SP 2026 organizers)