Conference series Beta
International TOOLympics Challenge (TOOLympics)
- Events
- 2 (2019 to 2023)
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, software engineering
- Identifier
https://id.confref.org/series/s123pjv
Events (2)
20192023
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2023 | TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France | Paris | ||
| 2019 | International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2019, TACAS, TACAS@ETAPS 2019 | Prague | 2019-04-08/11 |
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).
| dblp |
|---|
Cite
International TOOLympics Challenge (TOOLympics). confref identifier s123pjv. https://id.confref.org/series/s123pjv
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.