Programme (all times in BST - UTC+01:00)
Thurday 15 April
09:00-09:10 Welcome
09:10-10:00 Invited Talk 1 - Jane Hillston: Statistical Abstraction for Multi-scale Spatio-temporal Systems
10:00-10:10 Break
10:10-11:40 Talk Session 1 - Learning; Chair: Nathanael Fijalkow.
1. Vaishak Belle and Brendan Juba : Learning to reason in first-order logic.
2. Mark Chevallier : Formal Verification of Reinforcement Learning.
3. Marco Favorito, Giuseppe De Giacomo, Luca Iocchi and Fabio Patrizi : Restraining Bolts in Reinforcement Learning.
4. Borja G. León : Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning.
5. Ionela Georgiana Mocanu, Vaishak Belle and Brendan Juba : Polynomial-time Implicit Learnability in SMT.
6. Anh Nguyen : Learning Affordance in Robotics: Formal Method to the Rescue?.
11:40-11:50 Break
11:50-12:35 Talk Session 2 - LTL; Chair: Bastien Maubert.
1. Francesco Fuggitti : Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.
2. Rance Cleaveland and Samuel Huang : A Tableau Construction for Finite Linear-Time Temporal Logic.
3. Antonio Di Stasio: Two-Stage Technique for LTLf Synthesis Under General LTL Environment Specifications.
12:35-14:00 Break
14:00-15:15 Talk Session 3 - Logic; Chair: Francois Schwarzentruber.
1. Ciaran McCreesh : Intelligent Algorithms with Certified Solutions through Pseudo-Boolean Reasoning.
2. Stéphane Demri : Second-order Modal Logics on Trees.
3. Tommaso Flaminio, Lluis Godo and Hykel Hosni : Boolean algebras of conditionals, conditional probability and non-monotonic reasoning.
4. Mark-Oliver Stehr, Minyoung Kim and Carolyn Talcott : Towards Imagination Modulo Logical Theories: Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
5. Paulius Dilkas : Generating Random Logic Programs Using Constraint Programming.
15:15-15:25 Break
15:25-16:15 Invited Talk 2 - Dvijotham Krishnamurthy: Scalable verification of deep learning
Friday 16 April
09:00-09:50 Invited Talk 3 - Giuseppe de Giacomo: Reactive Synthesis, Planning and Reinforcement Learning in the Finite Trace Setting
09:50-10:00 Break
10:00-11:30 Talk Session 4 - Verification; Chair: Borja G. Leon.
1. Panagiotis Kouvaros : Efficient Verification of ReLU-based Neural Networks via Dependency Analysis.
2. Matthew L. Daggitt, Marco Casadio, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart: Neural network robustness – Careful what you verify!
3. Julian Gutierrez, Giuseppe Perelli, Muhammad Najib and Michael Wooldridge : Computationally Tractable Rational Verification.
4. Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros and Alessio Lomuscio : Formal Verification of Neural Agents in Non-deterministic Environments.
5. Rodica Condurache, Catalin Dima, Youssouf Oualhadj and Nicolas Troquard : Energy Sensitive Rational Synthesis.
6. Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime and Haloua Mohamed : A Deep Reinforcement Learning Approach with Formal Verification.
11:30-11:40 Break
11:40-12:40 Talk Session 5 - Data; Chair: Vadim Malvone.
1. Oana Cocarascu, Andria Stylianou, Kristijonas Cyras and Francesca Toni : EData-Empowered Argumentation for Dialectically Explainable Predictions.
2. Stanislav Kikot : Query determinacy over views and proof-driven query planning.
3. Fabrizio Maria Maggi, Marco Montali and Fabio Patrizi : Monitoring of MP-Declare constraints.
4. Alessandro Ronca : Rule-Based Stream Reasoning.
12:40-14:00 Break
14:00-15:30 Talk Session 6 - Games & MAS; Chair: Aniello Murano.
1. Mickael Randour : Games Where You Can Play Optimally with Finite Memory.
2. Bastien Maubert : Dynamic Epistemic Logic Games with Epistemic Temporal Goals.
3. Thomas Ågotnes and Yì Nicholas Wáng : Group Belief.
4. Arthur Queffelec, Ocan Sankur and Francois Schwarzentruber: Connected multi-agent path finding.
5. Martin Ziegler : Formal Specification of Autonomous Agents.
6. Vahid Yazdanpanah and Mehdi Dastani : Formal Methods for Responsibility Reasoning in Multiagent Systems.
15:30-16:00 Round Table on Formal Methods in AI
16:00-16:10 Concluding Remarks
