In a matching problem between students and schools, a mechanism is said to be robustly stable if it is stable, strategy …-proof, and immune to a combined manipulation, where a student first misreports her preferences and then blocks the matching that …

We introduce a two-sided, many-to-one matching with contracts model in which agents with unit demand match to branches … matching markets with slot-specific priorities, branches' choice functions may not satisfy the substitutability conditions … typically crucial for matching with contracts. Despite this complication, we are able to show that stable outcomes exist in the …

notions of fairness in lottery design based on ex-ante stability. This framework unifies known many-to-one and one …-sided matching models. We show that the NYC/Boston mechanism fails to satisfy these fairness properties. We then propose two new … ex-ante stability, equal treatment, and constrained ordinal-Pareto-efficiency. …