Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
24 results · clear filters Sort: newest oldest name
- Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, ProceedingsComputer and information sciencese11asp3
- Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, ProceedingsComputer and information sciencese11asn5
- Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, ProceedingsComputer and information sciencese11asm7
- Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, ProceedingsComputer and information sciencese11ask9
- Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, ProceedingsComputer and information sciencese11ashd
- Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial LecturesComputer and information sciencese11asjb
- Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, ProceedingsComputer and information sciencese11asgf
- Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings (ICTAC)Computer and information sciencese11asfj
- Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings (ICTAC)Computer and information sciencese11asem
- International Colloquium on Theoretical Aspects of Computing (ICTAC 2017, ICTAC)Computer and information sciencese104q9d
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q8f
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q7h
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q6k
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q5n
- 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 LecturesComputer and information sciencese11asdp
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q4q
- International Colloquium on Theoretical Aspects of Computing (ICTAC 2011, ICTAC)Computer and information sciencese104q3s
- International Colloquium on Theoretical Aspects of Computing (ICTAC 2010, ICTAC)Computer and information sciencese104q2v
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q1x
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104q0z
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104pz1
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104py3
- International Colloquium on Theoretical Aspects of Computing (ICTAC)Computer and information sciencese104px5
- International Colloquium on Theoretical Aspects of Computing (ICTAC 2004, ICTAC)Computer and information sciencese104pw7
As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s109z9v