All conferences / MARS
MARS
Workshop on Models for Formal Analysis of Real Systems
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2027 open | 8 | 11 Apr 2027 | Copenhagen 🇩🇰 | 22 Jan | — | — |
| 2026 | 7 | 12 Apr 2026 | Turin 🇮🇹 | 11 Feb +21 days | — | — |
| 2024 | 6 | 6 Apr 2024 | Luxembourg 🇱🇺 | 25 Jan +10 days | — | — |
| 2022 | 5 | 2–3 Apr 2022 | Munich 🇩🇪 | 24 Jan +14 days | — | — |
| 2020 Cancelled | 4 | 26 Apr 2020 | Dublin 🇮🇪 | — | — | — |
| 2018 | 3 | 20 Apr 2018 | Thessaloniki 🇬🇷 | 21 Jan +9 days | — | — |
A missing year does not mean the conference did not meet: coverage before 2018 has not been verified.
Who led each edition
Chairs and invited speakers
Across 2 editions, 1 of 7 chairs and invited speakers were women or of another gender — 14%. At this site's own rate of 29%, 2 would be the expectation. The gap is within what chance would produce at these numbers.
Only editions with counted people appear: an edition recorded as mixed and nothing more has no arithmetic behind it. The total counts people, not years, so an edition with eight chairs weighs more than one with two. The committee is reported beside the platform, never added to it. The rate this is set against, 29%, is pooled from 362 chairs and invited speakers across 81 editions on this site — an observation about the field as recorded here, not a target.
How it has reviewed and published
| Practice | 18 | 20 | 22 | 24 | 26 | 27 |
|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • |
A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.
Spotted something wrong on this page? Tell us, with a source if you have one ↗