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)
  1. A Modal Logic for Subject-Oriented Spatial Reasoning
  2. Customizing BPMN Diagrams using Timelines
  3. 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)
  1. Two-Dimensional Rule Language for Querying Sensor Log Data: a Framework and Use Cases
  2. Time-Aware Probabilistic Knowledge Graphs
  3. Qualitative Reasoning and Data Mining
  4. 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)
  1. From Quantified CTL to QBF
  2. Towards Certified Model Checking for PLTL using One-pass Tableaux
  3. 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)
  1. On the Utility of Neighbourhood Singleton-style Consistencies
  2. A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic
  3. Hybrid SAT-based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
  4. 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)
  1. Complexity analysis of a unifying algorithm for model checking Interval Temporal Logic
  2. Simplifying Inductive Schemes in Temporal Logic
  3. On Verifying Timed Hyperproperties
  • 13.00 - 13.30: Closing Remarks