Program

Program

WEDNESDAY, 23/09 THURSDAY, 24/09 FRIDAY, 25/09
09:00 - 09:30 INVITED TALK 2:
Benedikt Bollig
INVITED TALK 3:
Giuseppe de Giacomo
09:30 - 10:00 registration and opening
10:00 - 10:30 INVITED TALK 1:
Carlo Zaniolo
M. Lück and A. Meier:
LTL Fragments are Hard for Standard Parameterisations
A. Krebs, A. Meier and J. Virtema:
A Team Based Variant of CTL
10:30 - 10:50 coffee break coffee break
10:50 - 11:00 S. Durhan and G. Sciavicco:
Generalizing Allen's Theory of Time to Tree-Like Structures
Krishna S., L. Manasa and A. Trivedi:
Reachability Games on Recursive Hybrid Automata
11:00 - 11:20 coffee break
11:20 - 11:50 L. Hunsberger, R. Posenato and C. Combi:
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of a Conditional Simple Temporal Network
A. Montanari, E. Muñoz-Velasco and G. Sciavicco:
Undecidability of Chop
M. Cialdea Mayer and A. Orlandini:
An executable semantics of flexible plans in terms of timed game automata logic
11:50 - 12:20 C. Comin and R. Rizzi:
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking
A. Molinari, A. Montanari and A. Peron:
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
V. Malvone, F. Mogavero, A. Murano and L. Sorrentino:
On the Counting of Strategies
12:20 - 13:45 lunch break lunch break
13:45 - 14:15 A. Gensler, T. Gruber and B. Sick:
Fast Feature Extraction For Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions
A. Krebs, A. Meier and M. Mundhenk:
The model checking fingerprints of CTL operators
14:15 - 14:45 C. Dyreson, V. Rani and A. Shatnawi:
Unifying Sequenced and Nonsequenced Semantics
G. Petric Maretic, M. Torabi Dashti and D. Basin:
Semantic Vacuity
14:45 - 15:00 C. Combi, R. Rizzi and P. Sala:
The Price of Evolution in Temporal Databases
coffee break
15:00 - 15:15 D. Hausmann and L. Schröder:
Global Caching for the Alternation-Free Coalgebraic mu-Calculus
15:15 - 15:30 coffee break
15:30 - 16:00 Temporal Databases Panel A. Gatto:
Decidability via mosaics for bundled Ockhamist logic
16:00 - 16:30 business meeting
16:30 - 17:30
17:30 - 17:45 walk through "Bergpark Wilhelmshöhe" to the restaurant
17:45 - 19:00 city walk past previous documenta installations
19:00 - ... welcome reception conference dinner