Call for Papers

We invite participants from all disciplines related to the formal verification of machine learning-based systems, including but not limited to machine learning, computer-aided verification, programming languages, robotics and control, cyber security, and optimization. We invite submissions on any aspect of the formal verification of machine learning systems, including but not limited to:

Reviewing will be performed in double-blind, with criteria including:

Author Instructions

Submission Deadline: May 24, 2023 AoE on CMT

Submission Link: Papers should be submitted to TBD.

Submission Format: Submitted papers are recommended to have at most 4 pages with unlimited bibliography and appendix, using the WFVML 2023 LaTeX style files. While the page limit is not hard, a concise presentation can greatly improve readability. Submissions must be anonymous following ICML requirements and ethics standards.  Accepted papers will be hosted on this workshop website but are considered non-archival and can be submitted to other workshops, conferences, or journals, subject to their submission policies. 

Dual submission policy: We allow dual submission with other workshops and conferences as well submissions with large overlap to your recently published papers. In these cases, we particularly encourage the submission of a more concise version.

Author Notification: June 19, 2023

Camera Ready: June 23, 2023 AoE on CMT

Best Paper Award🏆: To encourage high-quality submissions, we plan to offer a best paper award (details TBA).

Contact: For technical problems regarding submission, please contact Leslie Rice.