Program
- 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
