Schedule
March 28, 2019 (Room ME-303)
- 9.00 – 9.30 welcome
- 9.30 – 12.30 GDL Tutorial – Laurent Perrussel
- 2.00 – 3.00 Rethinking Epistemic Logic with Belief Bases: from High-Order Beliefs to Belief Aggregation – Emiliano Lorini
- 3.00 – 4.00 Automated reasoning in social choice – Umberto Grandi
- 4.00 – 5.00 Discussion
March 29, 2019 (Room ME-303)
- 9.30 – 10.30 Auction Tutorial (Single resource only) – Stéphane Airiau
- 10.30 – 11.30 Combinatorial Auctions – Sylvain Bouveret
- 11.30 – 12.30 Verification of GGP properties – Francesco Belardinelli
- 2.00 – 5.00 Discussion
