Applied Verification of Continuous and Hybrid Systems

Home / Editions

Editions

Every ARCH edition, year by year — program, benchmarks, tool presentations, experience reports, and proceedings. Pick a year to see everything from that edition. Material before 2017 predates the friendly competition; it comes from the ARCH workshop (migrated from CPS-VO).

ARCH 2027 Upcoming

June 2, 2027 · Online

Program

The detailed program — session titles, speakers, and times — will be announced in mid-May 2027. The workshop is a public event; no registration is required.

Join: bbb.cit.tum.de/mat-jva-v7f

Call for Submissions

The workshop invites benchmark proposals, tool presentations, experience reports, and competition results. Papers are ideally 3–8 pages, submitted via EasyChair (arch27) and published in the EPiC Series in Computing (DBLP-indexed).

Submission: April 1, 2027
Notification: April 28, 2027
Final version: May 26, 2027

Proceedings & Repeatability

How to participate

Publications

Overview Paper

A. Abate, M. Althoff, L. Bu, G. Ernst, G. Frehse, L. Geretti, T. T. Johnson, C. Menghi, S. Mitsch, S. Schupp, and S. Soudjani, "The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems," in TOOLympics Challenge 2023, LNCS, Springer, pp. 1–37, 2023.

BibTeX 

@inproceedings{abate2023archcomp_overview,
  title     = {The {ARCH-COMP} Friendly Verification Competition for Continuous and Hybrid Systems},
  author    = {Abate, Alessandro and Althoff, Matthias and Bu, Lei and Ernst, Gidon and Frehse, Goran and Geretti, Luca and Johnson, Taylor T. and Menghi, Claudio and Mitsch, Stefan and Schupp, Stefan and Soudjani, Sadegh},
  booktitle = {TOOLympics Challenge 2023},
  series    = {Lecture Notes in Computer Science},
  pages     = {1--37},
  year      = {2023},
  publisher = {Springer},
  doi       = {10.1007/978-3-031-67695-6_1}
}