Program
Program
Program
October 16th, Wednesday
- 9.00 - 10.30: Registration
- 10.30 - 11.00: Opening Remarks
- 11.00 - 11.30: Coffee Break
- 11.30 - 13.00: SESSION - Expressiveness and Modelization (session chair: Vladislav Ryzhikov)
- A Modal Logic for Subject-Oriented Spatial Reasoning
- Customizing BPMN Diagrams using Timelines
- The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
- 13.00 - 14.30: Lunch Break
- 14.30 - 16.00: TUTORIAL - Computer Aided Synthesis: A Game Theoretic Approach
- 16.00 - 16.30: Coffee Break:
- 16.30 - 18.00: TUTORIAL - Computer Aided Syntehsis: A Game Theoretic Approach
- 19.00 - 20.30: WELCOME drink at 'El Pimpi' wine cellar
October 17th, Thursday
- 9.30 - 10.30: INVITED SPEAKER - Michael Böhlen
- 10.30 - 11.00: Coffee Break
- 11.00 - 13.00: SESSION - Databases and Data Mining (session chair: Guido Sciavicco)
- Two-Dimensional Rule Language for Querying Sensor Log Data: a Framework and Use Cases
- Time-Aware Probabilistic Knowledge Graphs
- Qualitative Reasoning and Data Mining
- Recurrent Neural Networks applied to GNSS Time Series for Denoising and Prediction
- 13.00 - 14.30: Lunch Break
- 14.30 - 16.00: SESSION - Model Checking (session chair: Michail Sioutis)
- From Quantified CTL to QBF
- Towards Certified Model Checking for PLTL using One-pass Tableaux
- Minimisation of Models Satisfying CTL Formulas
- 16.00 - evening: SOCIAL VISIT and DINNER
October 18th, Friday
- 9.30 - 10.30: INVITED SPEAKER - Estela Saquete Borò
- 10.30 - 11.00: Coffee Break
- 11.00 - 13.00: SESSION - Synthesis and Constraint Solving (session chair: Angelo Montanari)
- On the Utility of Neighbourhood Singleton-style Consistencies
- A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic
- Hybrid SAT-based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
- Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions
- 13.00 - 14.30: Lunch Break
- 14.30 - 16.00: TUTORIAL - Temporal Aspects of Inductive Logic Programming
- 16.00 - 16.30: Coffee Break
- 16.30 - 18.00: TUTORIAL - Temporal Aspects of Inductive Logic Programming
October 19th, Saturday
- 10.00 - 11.00: INVITED SPEAKER - Patricia Bouyer
- 11.00 - 11.30: Coffee Break
- 11.30 - 13.00: SESSION - Model Checking (session chair: Andrea Brunello)
- Complexity analysis of a unifying algorithm for model checking Interval Temporal Logic
- Simplifying Inductive Schemes in Temporal Logic
- On Verifying Timed Hyperproperties
- 13.00 - 13.30: Closing Remarks