Conference

ICTAC

’26

International Colloquium on Theoretical Aspects of Computing

Bariloche, ArgentinaNovember 11 – 13, 2026

Formal Methods
Semantics

Dates & Deadlines

AbstractJun 22passed
PaperJun 22passed
NotificationAug 101mo
Camera-readyAug 312mo

Last updated Jun 23, 2026