LAMAS-SR — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
09:00-10:00
Giuseppe Perelli 'Mechanism Redesign: Repairing Techniques for Synthesis and Rational Synthesis'
LAMAS-SR
Location:
B2.01
| 09:00-10:00 |
Mechanism Redesign: Repairing Techniques for Synthesis and Rational Synthesis (abstract) 60 min
1 Sapienza University of Rome
|
10:00-11:00
Session I
LAMAS-SR
Location:
B2.01
| 10:00-10:15 |
Temporal Self-Reference Paradox in Finite-Horizon Agents: Semantic and Proof-Theoretic Treatment (abstract) 15 min
1 University of Łódź
2 Université Sorbonne Paris Nord (LIPN)
3 Samsung AI Center Warsaw
|
| 10:15-10:30 |
Minimal Rational Synthesis (abstract) 15 min
1 University of Edinburgh & Heriot-Watt University
2 Heriot-Watt University
|
| 10:30-10:45 |
Multi-Property Synthesis (abstract) 15 min
1 University of Oxford
2 Rice University
|
| 10:45-11:00 |
Symbolic Synthesis for LTLf+ Obligations (abstract) 15 min
1 University of Oxford, UK
2 University of Liverpool, UK
3 University of Gothenburg and Chalmers University of Technology, Sweden
|
11:00-11:30
Coffee Break I
LAMAS-SR
Location:
B2.01
11:30-12:45
Session II
LAMAS-SR
Location:
B2.01
| 11:30-11:45 |
A Probabilistic Package for L-DINF: Reasoning, Resources and Action Selection in Cooperative Agents (abstract) 15 min
1 Università di L'Aquila
|
| 11:45-12:00 |
Strategy Repair for Probabilistic Games (abstract) 15 min
1 Sapienza University of Rome
2 LaBRI, University of Bordeaux
|
| 12:00-12:15 |
Indistinguishable Agents in Decentralised POMDPs (abstract) 15 min
1 University of Münster
|
| 12:15-12:30 |
On the Exponential Succinctness of Shannon-Uncertainty Modalities over Probabilistic Beliefs in Temporal Logic (abstract) 15 min
1 University of Łódź
2 Samsung AI Center Warsaw
|
| 12:30-12:45 |
Consensus is Strategically Insufficient: Reasoning-Trace Disagreement as a Knowledge-Representation Signal (abstract) 15 min
1 Laboratory of The New Ethos, Warsaw University of Technology, Warsaw, Poland
2 Faculty of Electronics and Information Technology, Warsaw University of Technology, Warsaw, Poland
|
12:45-14:00
Lunch
LAMAS-SR
Location:
B2.01
14:00-15:00
Stéphane Demri 'Strategic Reasoning Under Limited Resource Production'
LAMAS-SR
Location:
B2.01
| 14:00-15:00 |
Strategic Reasoning Under Limited Resource Production (abstract) 60 min
1 CNRS, ENS Paris-Saclay
|
15:00-15:15
Coffee Break II
LAMAS-SR
Location:
B2.01
15:15-16:30
Session III
LAMAS-SR
Location:
B2.01
| 15:15-15:30 |
Rational Capability in Concurrent Games (abstract) 15 min
1 IRIT, CNRS, University of Toulouse
2 Université Sorbonne Paris Nord (LIPN)
|
| 15:30-15:45 |
Concurrent Multi-Agent Systems -- A Tale of Two Representations (abstract) 15 min
1 Université Libre de Bruxelles
2 Rice University
|
| 15:45-16:00 |
Towards Alternating-time Temporal Logic with Uncertainty and Fuzziness (abstract) 15 min
1 Academia Sinica
|
| 16:00-16:15 |
Strategies in Sabotage Games: Temporal and Epistemic Perspectives (abstract) 15 min
1 Technical University of Denmark
|
| 16:15-16:30 |
Logics for Modelling and Reasoning About Concurrent Multiplayer Games with Admissibility of Action Profiles (abstract) 15 min
1 Stockholm University
2 Tsinghua University
|
16:30-17:00
Coffee Break III
LAMAS-SR
Location:
B2.01
17:00-18:00
Session IV
LAMAS-SR
Location:
B2.01
| 17:00-17:15 |
Logic for local strategic reasoning with dynamic action contexts (abstract) 15 min
1 Stockholm University
2 Beijing Normal University
|
| 17:15-17:30 |
Nested conditional local strategic reasoning in Basic Strategy Logic (abstract) 15 min
1 ILLC, University of Amsterdam
2 Stockholm University
|
| 17:30-17:45 |
Subjective Reasoning About Ability Under Cooperativeness Assumptions (abstract) 15 min
1 York University
|
| 17:45-18:00 |
Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation (abstract) 15 min
1 Warsaw University of Technology
|