AIMACS workshop at CAV 2026 seeks AI research proposals
The AIMACS workshop at CAV 2026 is accepting talk and poster proposals on AI applications for mathematics and computer science research with emphasis on formal methods. Proposals must cover work publicly released in the past year and are due May 31. The workshop takes place July 25 in Lisbon and includes a tutorial on Lean CSLib.
#1411Patrick Shafto@PATRICKSHAFTO📢
Swarat Chaudhuri@swaratInterested 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.