AIMACS workshop at CAV 2026 seeks AI research proposals

Interested in formal methods and AI? Submit a talk/poster proposal for our CAV 2026 workshop on AI for Math and Computer Science Research (AIMACS)! https://sites.google.com/d/1DiW7HZSk8eXQ7bhrLpJ7hVw6PJud1_NX/p/15FfrMnFLWZwbLiBNS5VIQ0U3OlXWeraU/edit.

Talks/posters must be based on work publicly released in the last year and submitted through this form: https://forms.gle/RESRT5uXXtZkVzjr9. The submission deadline is May 31. The workshop is in Lisbon on July 25.

Other program highlights include a tutorial on Lean CSLib and invited talks on AI-aided theorem-proving and algorithm discovery.