Meetings Archives

Oct 20, 2020 Workshop

Seminar on Ontology alignment / Model checking and μ-calculus. By Armen Inants (LIG)
- Ontology alignment: qualitative calculus, constraint-based reasoning on relations.
- Model Checking: focus on linear time model checking complexity.
  - Pending question: checking for an auctionneer is different from checking for a bidder

Discussion on Allocation mechanism and characteristics of an auction. Jerome Lang and Munyque Mittelmann
- Auctionneer / central authority
- Money
- Procedures (for allocating and paying)
- differences with matching and fair division

First workshop – hosted at IRIT. Main focus on ADL. A short report is available here.

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