Events (22)
20042025
| Year | No. | Event | Place | Date |
|---|
| 2025 | 23 | Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings | Bengaluru | |
| 2024 | 22 | Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I | Kyoto | |
| 2023 | 21 | Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I | Singapore | |
| 2022 | 20 | Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings | | |
| 2021 | 19 | Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings | Gold Coast | |
| 2020 | 18 | Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings | Hanoi | |
| 2019 | 17 | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings ATVA | Taipei | 2019-10-28/31 |
| 2018 | 16 | Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ATVA 2018, ATVA | Los Angeles | 2018-10-07/10 |
| 2017 | 15 | International Symposium on Automated Technology for Verification and Analysis ATVA | Pune | 2017-10-03/06 |
| 2016 | 14 | International Symposium on Automated Technology for Verification and Analysis ATVA 2016, ATVA | Chiba | 2016-10-17/20 |
| 2015 | 13 | International Symposium on Automated Technology for Verification and Analysis ATVA | Shanghai | 2015-10-12/15 |
| 2014 | 12 | International Symposium on Automated Technology for Verification and Analysis ATVA 2014, ATVA | Sydney | 2014-11-03/07 |
| 2013 | 11 | International Symposium on Automated Technology for Verification and Analysis ATVA 2013, ATVA | Hanoi | 2013-10-15/18 |
| 2012 | 10 | International Symposium on Automated Technology for Verification and Analysis ATVA | Thiruvananthapuram | 2012-10-03/06 |
| 2011 | 9 | International Symposium on Automated Technology for Verification and Analysis ATVA | Taipei | 2011-10-11/14 |
| 2010 | 8 | International Symposium on Automated Technology for Verification and Analysis ATVA | Singapore | 2010-09-21/24 |
| 2009 | 7 | International Symposium on Automated Technology for Verification and Analysis ATVA | Macau | 2009-10-14/16 |
| 2008 | 6 | International Symposium on Automated Technology for Verification and Analysis ATVA 2008, ATVA | Seoul | 2008-10-20/23 |
| 2007 | 5 | International Symposium on Automated Technology for Verification and Analysis ATVA | Tokyo | 2007-10-22/25 |
| 2006 | 4 | International Symposium on Automated Technology for Verification and Analysis ATVA | Beijing | 2006-10-23/26 |
| 2005 | 3 | International Symposium on Automated Technology for Verification and Analysis ATVA | Taipei | 2005-10-04/07 |
| 2004 | 2 | International Symposium on Automated Technology for Verification and Analysis ATVA | Taiwan Island | 2004-10-31 to 2004-11-03 |
The events on the map · in the search · calendar of coming events
Ratings
As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.
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.
