| 2025 | 22 | Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings | Marrakesh Prefecture | |
| 2024 | 21 | Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings | Bangkok | |
| 2023 | 20 | Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings | Lima | |
| 2022 | 19 | Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings | Tbilisi | |
| 2021 | | Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures | Astana | |
| 2021 | 18 | Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings | Astana | |
| 2020 | 17 | Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings | Macau | |
| 2019 | 16 | Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings ICTAC | Hammamet | 2019-10-31 to 2019-11-04 |
| 2018 | 15 | Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings ICTAC | Stellenbosch | 2018-10-16/19 |
| 2017 | 14 | International Colloquium on Theoretical Aspects of Computing ICTAC 2017, ICTAC | Hanoi | 2017-10-23/27 |
| 2016 | 13 | International Colloquium on Theoretical Aspects of Computing ICTAC | Taiwan Island | 2016-10-24/31 |
| 2015 | 12 | International Colloquium on Theoretical Aspects of Computing ICTAC | Cali | 2015-10-29/31 |
| 2014 | 11 | International Colloquium on Theoretical Aspects of Computing ICTAC | Bucharest | 2014-09-17/19 |
| 2013 | 10 | International Colloquium on Theoretical Aspects of Computing ICTAC | Shanghai | 2013-09-04/06 |
| 2013 | | Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures | Shanghai | |
| 2012 | 9 | International Colloquium on Theoretical Aspects of Computing ICTAC | Bengaluru | 2012-09-24/27 |
| 2011 | 8 | International Colloquium on Theoretical Aspects of Computing ICTAC 2011, ICTAC | Johannesburg | 2011-08-31 to 2011-09-02 |
| 2010 | 7 | International Colloquium on Theoretical Aspects of Computing ICTAC 2010, ICTAC | Natal | 2010-09-01/03 |
| 2009 | 6 | International Colloquium on Theoretical Aspects of Computing ICTAC | Kuala Lumpur | 2009-08-16/20 |
| 2008 | 5 | International Colloquium on Theoretical Aspects of Computing ICTAC | Istanbul | 2008-09-01/03 |
| 2007 | 4 | International Colloquium on Theoretical Aspects of Computing ICTAC | Macau | 2007-09-26/28 |
| 2006 | 3 | International Colloquium on Theoretical Aspects of Computing ICTAC | Tunis | 2006-11-20/24 |
| 2005 | 2 | International Colloquium on Theoretical Aspects of Computing ICTAC | Hanoi | 2005-10-17/21 |
| 2004 | 1 | International Colloquium on Theoretical Aspects of Computing ICTAC 2004, ICTAC | Guiyang | 2004-09-20/24 |