Dear all,
The next COMSOC Seminar will take place this Thursday at 15:30, and the speaker on this occasion is yours truly. I'm including the abstract at the end of this message and hope to see you on Thursday.
As always, for more information on the COMSOC Seminar please consult http://www.illc.uva.nl/~ulle/seminar/.
All the best, Ulle
-------------------------------------------------------------------------
Speaker: Ulle Endriss (ILLC) Title: Analysis of Matching Mechanisms via SAT Solving Date and time: Thurday 23 January 2020, 15:30 Location: F1.15, Science Park 107, Amsterdam
Abstract: Matching is a research area at the intersection of game theory and social choice theory that is concerned with the design of mechanisms for pairing up agents belonging to two different groups, such as job seekers and companies. In this talk I will explain how to use ideas from mathematical logic (model theory) and computational logic (SAT solving) to obtain impossibility theorems regarding the design of matching mechanisms that satisfy certain intuitively appealing properties (e.g., regarding the stability and fairness of outcomes).