All conferences / FMAS
FMAS
Workshop on Formal Methods for Autonomous Systems
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2026 | 8 | 17–18 Nov 2026 | Southampton 🏴 | 20 Aug +3 days | — | — |
| 2025 | 7 | 17–19 Nov 2025 | Paris 🇫🇷 | 28 Aug +6 days | — | — |
A missing year does not mean the conference did not meet: coverage before 2025 has not been verified.
Who led each edition
Chairs and invited speakers
Across 2 editions, 5 of 7 chairs and invited speakers were women or of another gender — 71%. At this site's own rate of 29%, 2 would be the expectation.
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 | 25 | 26 |
|---|---|---|
| Proceedings | • | • |
| Anonymity | S |
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 ↗