TIME 2014

21st International Symposium on Temporal Representation and Reasoning - Verona, Italy


The Symposium will be at the Department of Computer Science – University of Verona , in room “Sala Verde”.

Program at a glance

Sept 8 (Monday) Sept 9 (Tuesday) Sept 10 (Wednesday)
8:30 – 9:00 am Opening Ceremony 8:30 – 9:00 am
9:00 – 10:00 am Keynote Speech I  – Calin Belta
SC: Amedeo Cesta
Ad Hoc Session on Time and standards
Ben Mozkowski, Fabio Grandi and Carlo Combi
9:00 – 10:30 am Session D3-1
10:00 – 10:30 am Coffee Break Coffee Break 10:30 – 11:00 am Coffee Break
10:30 am – 12:30 pm Session D1-1 Session D2-1 11:00 – 12:00 am Keynote Speech II – Alessio Lomuscio
SC:  Francois Laroussinie
12:30 – 2:00 pm Lunch Lunch 12:30 – 2:00 pm Lunch
2:00 – 3:30 pm  Session D1-2 Session D2-2
3:30 – 4:00 pm Coffee Break Coffee Break
4:00 – 5:30 pm Panel: Temporal Constraints
Coordinator: Luke Hunsberger
Panel: Interval Temporal Logics
Coordinator: Davide Bresolin
7:30 – 9:00 pm  Social dinner Musical banquet


Detailed Program

Registration Desk opening hours

Sept 8: 8:00 pm – 5:00 pm

Sept 9: 8:00 am – 5:00 pm

Sept 10: 8:00 am – 5:00 pm


Keynote Speakers

I. Calin Belta. Formal Methods for Dynamical Systems
II. Alessio Lomuscio. Advances in symbolic model checking for multi-agent systems



Each talk will be of 30 minutes including 5 minutes for questions.

D1-1: Temporal Networks

Session Chair: Roberto Posenato

A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games
Romeo Rizzi, Roberto Posenato and Carlo Comin
Incremental Dynamic Controllability in Cubic Worst-Case Time
Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato and Marco Roveri
A formal account of planning with flexible timelines
Marta Cialdea, Andrea Orlandini and Alessandro Umbrico
D1-2: Interval based Logics and Applications

Session Chair: Ben Mozkowski

Metric Propositional Neighborhood Logic with an Equivalence Relation
Angelo Montanari, Marco Pazzaglia and Pietro Sala
Checking Interval Properties of Computations
Angelo MontanariAniello MuranoGiuseppe Perelli and Adriano Peron
Approximate Interval-based Temporal Dependencies: the Complexity Landscape
Pietro Sala
D2-1: Temporal databases and data warehouses

Session Chair: Barbara Oliboni

A Framework for Managing Temporal Dimensions in Archaeological Data
Alberto Belussi and Sara Migliorini
Lean index structures for snapshot access in transaction-time databases
Fabio Grandi
High-level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework
Zouhaier Brahmia, Fabio Grandi, Barbara Oliboni and Rafik Bouaziz
Summarizability in Multiversion Data Warehouse
Ines Zouari, Faiza Ghozzi and Rafik Bouaziz
D2-2: Logics

Session Chair: Cesar Sanchez

Bounded Variability of Metric Temporal Logic
Carlo A. Furia and Paola Spoletini
EXPTIME Fairness with Bundled CTL
John Mccabe-Dansted and Mark Reynolds
Partially Punctual Metric Temporal Logic is Decidable
Khushraj Madnani, Krishna S and Paritosh Pandya
D3-1: Verification

Session Chair: Angelo Montanari

Quantitative Verification in Rational Environments
Anshul Gupta and Sven Schewe
Parametrized Verification Diagrams
Alejandro Sanchez and Cesar Sanchez
Verification of Rewrite Rules for Computation Tree Logics
John Mccabe-Dansted and Mark Reynolds
TIME 2014 © 2014 Frontier Theme