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 - Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification - Angelo Ferrando and Vadim Malvone
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 - Development of Natural Strategies in Strategic Logics - Marco Aruta, Vadim Malvone and Aniello Murano
17:45 - 18:00 - Strategic Reasoning for BitML Smart Contracts - Luigi Bellomarini, Marco Favorito and Giuseppe Galano
18:00 - 18:15 - Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces - Michał Tomasz Godziszewski, Davide Catta and Aniello Murano
18:15 - 18:30 - PDDL to DFA: A Symbolic Transformation for Effective Reasoning - Giuseppe De Giacomo, Gianmarco Parretti and Antonio Di Stasio
The workshop will be in the room Kolping Raiffeisen.
Address: Kolping house, Largo Adolph Kolping 3, Bolzano.
Development of Natural Strategies in Strategic Logics - Marco Aruta, Vadim Malvone, and Aniello Murano (pre-print)
How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks - Vincenzo Auletta, Diodato Ferraioli, and Grazia Ferrara (pre-print)
Strategic Reasoning for BitML Smart Contracts - Luigi Bellomarini, Marco Favorito, and Giuseppe Galano (pre-print)
Achieving Envy-Freeness through Items Sale (Short Paper) - Vittorio Bilò, Evangelos Markakis, and Cosimo Vinci (pre-print)
Situation Calculus Temporally Lifted Abstractions for Generalized Planning (short paper) - Giuseppe De Giacomo, Yves Lespérance, and Matteo Mancanelli (pre-print)
PDDL to DFA: A Symbolic Transformation for Effective Reasoning - Giuseppe De Giacomo, Gianmarco Parretti, and Antonio Di Stasio (pre-print)
Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification - Angelo Ferrando and Vadim Malvone (pre-print)
Obstruction Logic: A Logic for Reasoning about Real-Time and Probability - James Ortiz, Jean Leneutre, and Vadim Malvone (pre-print)
Parameterized Complexity of Adversarial Similarity-Based Sign Prediction - Michał Tomasz Godziszewski (pre-print)
Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces - Michał Tomasz Godziszewski, Davide Catta, and Aniello Murano (pre-print)