Co-located with CAV 2025
Location: Zagreb, Croatia
Date: July 22, 2025
The Workshop on Automated Reasoning for Tensor Compilers (ARTC) brings together researchers and practitioners working at the intersection of formal methods, program verification, automated reasoning, and tensor compiler technology. As machine learning systems become increasingly critical in various domains, there is a growing need for tensor compilers that are correct, robust, and efficient. This workshop focuses on applying techniques from automated reasoning and logic to address these challenges.
The workshop will feature invited talks, contributed papers, and panel discussions on topics including but not limited to:
All deadlines are 23:59 AoE (Anywhere on Earth).
We invite submissions on all aspects of automated reasoning for tensor compilers. Topics of interest include, but are not limited to:
Submission format: Papers shall be submitted in form of an extended abstract of up to 6 pages in LNCS format (not including references) via email to teme@amazon.com. Submissions can overlap with previously published work and will be judged based on their relevance to the topic of the workshop.
The detailed program will be announced closer to the workshop date.
For questions regarding the workshop, please contact the organizers at: teme@amazon.com
