ATVA 2025: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

26 March 2026

23 March 2026

  • curprev 18:0118:01, 23 March 2026 Akhilesh talk contribs 517 bytes +517 Created page with "{{Event |Acronym=ATVA 2025 |Title=The 23rd International Symposium on Automated Technology for Verification and Analysis |Ordinal=23 |Series=ATVA |Type=Conference |Field=Formal Methods |Start date=2025/10/27 |End date=2025/10/31 |Submission deadline=2025/04/25 |Homepage=https://conf.researchr.org/home/atva-2025 |City=Bengaluru |Country=India |Abstract deadline=2025/04/25 |Notification=2025/07/04 |Camera ready=2025/08/07 |has general chair=Deepak D'Souza |has program chai..."
Retrieved from "https://www.openresearch.org/wiki/ATVA_2025"