BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2023/newsitem/14368/22
 -September-2023-Formalisation-Optimisation-Algorit
 hms-Mechanisms-FOAM-Ulle-Endriss
DTSTAMP:20230713T163210
SUMMARY:Formalisation, Optimisation, Algorithms, M
 echanisms (FOAM), Ulle Endriss
ATTENDEE;ROLE=Speaker:Ulle Endriss
DTSTART;TZID=Europe/Amsterdam:20230922T150000
DTEND;TZID=Europe/Amsterdam:20230922T162500
LOCATION:Room L2.06, ILLC Lab42, Science Park 900,
  Amsterdam
DESCRIPTION:Abstract:  The research area of comput
 ational social choice deals with the application o
 f techniques from computer science and AI to the d
 esign and analysis of economic mechanisms for coll
 ective decision making. In this talk, I will repor
 t on one of the most exciting recent developments 
 in the field, namely the use of automated reasonin
 g tools, and notably SAT solvers, to support econo
 mic theorists in their quest to gain a deeper unde
 rstanding of what is and what is not possible when
  it comes to designing fair and efficient mechanis
 ms for decision making. I will exemplify this appr
 oach with recent work on the design of matching ma
 rkets, where the goal is to match, for instance, j
 ob seekers and companies on the basis of their pre
 ferences. No specialised technical background will
  be required to follow the exposition.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:<br>\
 n  The research area of computational social choic
 e deals with the application of techniques from co
 mputer science and AI to the design and analysis o
 f economic mechanisms for collective decision maki
 ng. In this talk, I will report on one of the most
  exciting recent developments in the field, namely
  the use of automated reasoning tools, and notably
  SAT solvers, to support economic theorists in the
 ir quest to gain a deeper understanding of what is
  and what is not possible when it comes to designi
 ng fair and efficient mechanisms for decision maki
 ng. I will exemplify this approach with recent wor
 k on the design of matching markets, where the goa
 l is to match, for instance, job seekers and compa
 nies on the basis of their preferences. No special
 ised technical background will be required to foll
 ow the exposition.</p>\n
URL:https://events.illc.uva.nl/FOAM/posts/talk6/
CONTACT:Gregor Behnke at g.behnke at uva.nl
CONTACT:Ronald de Haan at r.dehaan at uva.nl
END:VEVENT
END:VCALENDAR