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/14605/1-
 December-2023-Formalisation-Optimisation-Algorithm
 s-Mechanisms-FOAM-Andreas-Niskanen
DTSTAMP:20231113T020808
SUMMARY:Formalisation, Optimisation, Algorithms, M
 echanisms (FOAM), Andreas Niskanen
ATTENDEE;ROLE=Speaker:Andreas Niskanen
DTSTART;TZID=Europe/Amsterdam:20231201T150000
DTEND;TZID=Europe/Amsterdam:20231201T162500
LOCATION:Room L3.33, ILLC Lab42, Science Park 900,
  Amsterdam
DESCRIPTION:Abstract:  Judgment aggregation (JA) o
 ffers a generic formal logical framework for model
 ing various settings where agents must reach joint
  agreements through aggregating the preferences, j
 udgments, or beliefs of individual agents by socia
 l choice mechanisms. In this work, we develop prac
 tical JA algorithms for outcome determination by h
 arnessing Boolean satisfiability (SAT) based solve
 rs as the underlying...
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:</p>\
 n  <p>Judgment aggregation (JA) offers a generic f
 ormal logical framework for modeling various setti
 ngs where agents must reach joint agreements throu
 gh aggregating the preferences, judgments, or beli
 efs of individual agents by social choice mechanis
 ms. In this work, we develop practical JA algorith
 ms for outcome determination by harnessing Boolean
  satisfiability (SAT) based solvers as the underly
 ing...</p>\n
URL:https://events.illc.uva.nl/FOAM/posts/talk9/
CONTACT:Gregor Behnke at g.behnke at uva.nl
CONTACT:Ronald de Haan at r.dehaan at uva.nl
END:VEVENT
END:VCALENDAR