Conference · International Colloquium on Theoretical Aspects of Computing
ICTAC 2026
Official page- Type
- Conference
- Organisation
- International Colloquium on Theoretical Aspects of Computing
- Location
- Bariloche, Argentina
- Takes place
- 11 November 2026 to 13 November 2026
- Found
- 26 September 2026
About this listing
International Colloquium on Theoretical Aspects of Computing. Held in Bariloche, Argentina. Topics: formal methods, semantics, verification. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 8 October 2026. Found via PLFM (pl-fm.github.io).