Symposium

TIME

’26

International Symposium on Temporal Representation and Reasoning

Cork, IrelandSeptember 1 – 3, 2026

Verification
Model Checking
Logic

Dates & Deadlines

AbstractMay 18passed
PaperMay 22passed
NotificationJul 57d
Camera-readyJul 243w

Last updated Jun 23, 2026