default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Colloquium on Theoretical Aspects of Computing (ICTAC)
21st ICTAC 2024: Bangkok, Thailand
- Chutiporn Anutariya
, Marcello M. Bonsangue:
Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings. Lecture Notes in Computer Science 15373, Springer 2025, ISBN 978-3-031-77018-0 [contents]
20th ICTAC 2023: Lima, Peru
- Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa:
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Lecture Notes in Computer Science 14446, Springer 2023, ISBN 978-3-031-47962-5 [contents]
19th ICTAC 2022: Tbilisi, Georgia
- Helmut Seidl, Zhiming Liu, Corina S. Pasareanu:
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13572, Springer 2022, ISBN 978-3-031-17714-9 [contents]
18th ICTAC 2021: Virtual Event / Nur-Sultan / Astana, Kazakhstan
- Antonio Cerone, Peter Csaba Ölveczky:
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12819, Springer 2021, ISBN 978-3-030-85314-3 [contents] - Antonio Cerone:
Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Lecture Notes in Computer Science 13490, Springer 2023, ISBN 978-3-031-43677-2 [contents]
17th ICTAC 2020: Macau, China
- Violet Ka I Pun, Volker Stolz, Adenilso Simão:
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings. Lecture Notes in Computer Science 12545, Springer 2020, ISBN 978-3-030-64275-4 [contents]
16th ICTAC 2019: Hammamet, Tunisia
- Robert M. Hierons, Mohamed Mosbah:
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Lecture Notes in Computer Science 11884, Springer 2019, ISBN 978-3-030-32504-6 [contents] - Imen Jemili, Mohamed Mosbah:
Distributed Computing for Emerging Smart Networks - First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers. Communications in Computer and Information Science 1130, Springer 2020, ISBN 978-3-030-40130-6 [contents]
15th ICTAC 2018: Stellenbosch, South Africa
- Bernd Fischer, Tarmo Uustalu:
Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. Lecture Notes in Computer Science 11187, Springer 2018, ISBN 978-3-030-02507-6 [contents]
14th ICTAC 2017: Hanoi, Vietnam
- Dang Van Hung, Deepak Kapur:
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science 10580, Springer 2017, ISBN 978-3-319-67728-6 [contents]
13th ICTAC 2016: Taipei, Taiwan
- Augusto Sampaio, Farn Wang:
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Lecture Notes in Computer Science 9965, 2016, ISBN 978-3-319-46749-8 [contents]
12th ICTAC 2015: Cali, Colombia
- Martin Leucker, Camilo Rueda, Frank D. Valencia:
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science 9399, Springer 2015, ISBN 978-3-319-25149-3 [contents]
11th ICTAC 2014: Bucharest, Romania
- Gabriel Ciobanu, Dominique Méry:
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Lecture Notes in Computer Science 8687, Springer 2014, ISBN 978-3-319-10881-0 [contents]
10th ICTAC 2013: Shanghai, China
- Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents] - Zhiming Liu, Jim Woodcock, Huibiao Zhu:
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. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents]
9th ICTAC 2012: Bangalore, India
- Abhik Roychoudhury, Meenakshi D'Souza:
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Lecture Notes in Computer Science 7521, Springer 2012, ISBN 978-3-642-32942-5 [contents]
8th ICTAC 2011: Johannesburg, South Africa
- Antonio Cerone, Pekka Pihlajasaari:
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6916, Springer 2011, ISBN 978-3-642-23282-4 [contents]
7th ICTAC 2010: Natal, Rio Grande do Norte, Brazil
- Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, ISBN 978-3-642-14807-1 [contents]
6th ICTAC 2009: Kuala Lumpur, Malaysia
- Martin Leucker, Carroll Morgan:
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Lecture Notes in Computer Science 5684, Springer 2009, ISBN 978-3-642-03465-7 [contents]
5th ICTAC 2008: Istanbul, Turkey
- John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün:
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5160, Springer 2008, ISBN 978-3-540-85761-7 [contents]
4th ICTAC 2007: Macau, China
- Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents]
3rd ICTAC 2006: Tunis, Tunisia
- Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Lecture Notes in Computer Science 4281, Springer 2006, ISBN 3-540-48815-4 [contents]
2nd ICTAC 2005: Hanoi, Vietnam
- Dang Van Hung, Martin Wirsing:
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Lecture Notes in Computer Science 3722, Springer 2005, ISBN 3-540-29107-5 [contents]
1st ICTAC 2004: Guiyang, China
- Zhiming Liu, Keijiro Araki:
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3407, Springer 2005, ISBN 3-540-25304-1 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-31 01:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
