Program

Wednesday 27th November

• 10:30 - 12:30 - Session Algorithmic Game Theory and Planning (chair Gianpiero Monaco)

• 10:30 - 11: 30 - Invited talk - Individually Stable Dynamics in Coalition Formation over Graphs - Luca Moscaderlli 

• 11:30 - 11:45 - How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks - Vincenzo Auletta, Diodato Ferraioli, and Grazia Ferrara

• 11:45 - 12:00 - Achieving Envy-Freeness through Items Sale - Vittorio Bilò, Evangelos Markakis, and Cosimo Vinci

• 12:00 - 12:15 - Parameterized Complexity of Adversarial Similarity-Based Sign Prediction - Michał Tomasz Godziszewski

• 12:15 - 12:30 Situation Calculus Temporally Lifted Abstractions for Generalized Planning - Giuseppe De Giacomo, Yves Lespérance and Matteo Mancanelli

• 12:30 - 13:30 - Lunch break

• 16:00 - 18:30 - Session: Logics, Formal Verification, and Tools (chair Munyque Mittelmann)

• 16:00 - 17:00 - Invited talk - Strategizing in environments with common-pool resources - Nicolas Troquard

• 17:00 - 17:15 - Strategic Reasoning for BitML Smart Contracts - Luigi Bellomarini, Marco Favorito and Giuseppe Galano

• 17:15 - 17:30 - Obstruction Logic: A Logic for Reasoning about Real-Time and Probability - James Ortiz, Jean Leneutre and Vadim Malvone

• 17:30 - 17:45 - Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces - Michał Tomasz Godziszewski, Davide Catta and Aniello Murano

• 17:45 - 18:00 - Development of Natural Strategies in Strategic Logics - Marco Aruta, Vadim Malvone and Aniello Murano

• 18:00 - 18:15 - Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification - Angelo Ferrando and Vadim Malvone

• 18:15 - 18:30 - PDDL to DFA: A Symbolic Transformation for Effective Reasoning - Giuseppe De Giacomo, Gianmarco Parretti and Antonio Di Stasio

• Development of Natural Strategies in Strategic Logics - Marco Aruta, Vadim Malvone and Aniello Murano

• How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks - Vincenzo Auletta, Diodato Ferraioli, and Grazia Ferrara

• Strategic Reasoning for BitML Smart Contracts - Luigi Bellomarini, Marco Favorito and Giuseppe Galano

• Achieving Envy-Freeness through Items Sale (Short Paper) - Vittorio Bilò, Evangelos Markakis, and Cosimo Vinci

• Situation Calculus Temporally Lifted Abstractions for Generalized Planning (short paper) - Giuseppe De Giacomo, Yves Lespérance and Matteo Mancanelli

• PDDL to DFA: A Symbolic Transformation for Effective Reasoning - Giuseppe De Giacomo, Gianmarco Parretti and Antonio Di Stasio

• Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification - Angelo Ferrando and Vadim Malvone

• Obstruction Logic: A Logic for Reasoning about Real-Time and Probability - James Ortiz, Jean Leneutre and Vadim Malvone

• Parameterized Complexity of Adversarial Similarity-Based Sign Prediction - Michał Tomasz Godziszewski

• Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces - Michał Tomasz Godziszewski, Davide Catta and Aniello Murano