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 5passed
Camera-readyJul 24passed

Last updated Jun 23, 2026