Workshop in Logics for Multi-Agent Systems
September 1st-2nd 2022, Toulouse, France
Program
September 1st
10:00 | Munyque Mittelmann's PhD Defense (IRIT, Université Toulouse 1 Capitole)
Title: Logics for Representation and Design of Auctions.
13:00 | Lunch break
15:00 | Emiliano Lorini (IRIT, Université Paul Sabatier)
A Logic of "Black Box" Classifier Systems (joint work with X. Liu).
15:40 | François Schwarzentruber (IRISA, ENS Rennes)
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models (joint work with E. Perrotin and E. Lorini).
September 2nd
10:00 | Giuseppe Perelli (Sapienza University of Rome)
From Synthesis to Rational Synthesis: a Logic-Based Approach for Multi-Agent Systems Verification
10:40 | Michael Thielscher (University of New South Wales)
Acting in continuous time: Normal-form games with timing
11:20 | Natasha Alechina (Utrecht University)
Strategies and Resources
12:00 | Lunch break
14:00 | Aniello Murano (University of Naples Federico II)
Formal Aspects of Strategic Reasoning in MAS
14:40 | Discussion on Logics for Automated Mechanism Design
16:00 | Closing
Location
The PhD defense of Munyque Mittelmann will take place in the room Salle de thèses at the Arsenal Campus of the University Toulouse 1 Capitole.
See the detailed building map here (Salle de théses is number 6 on the map).
The Workshop invited talks and coffee break will take place in room MF105 at the Manufacture des Tabacs of the University Toulouse 1 Capitole.
See the detailed building map here (look for Building F).
Registration
Registration for LMAS is free of charge.
For helping us with the organization, please inform your participation by e-mail (munyque.mittelmann[at]irit.fr or laurent.perrussel@irit.fr[at]irit.fr ).
Organization
LMAS workshop is organized by Munyque Mittelmann and Laurent Perrussel.
Contact: munyque.mittelmann[at]irit.fr