Events (7)
20152026
| Year | No. | Event | Place | Date |
|---|
| 2026 | 7 | Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems, MARS 2026, Turin, Italy, 12th April 2026. | Turin | |
| 2024 | 6 | Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. | Luxembourg | |
| 2022 | 2 | Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. | Munich | |
| 2020 | 4 | Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. | Dublin | |
| 2018 | | Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. VPT | Thessaloniki | 2018-01-01 |
| 2017 | 2 | Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. | Uppsala | |
| 2015 | | Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. | Suva | |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
