BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:ccfa568a-1bcf-4161-ac6d-b61892dd0135
X-WR-CALNAME:GT AlgoDist\, «Characterizing consensus in the Heard-Of model»
 \, Igor Walukiewicz
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20251026T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20231029T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20241027T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20230326T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20240331T020000
RDATE:20250330T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:ccfa568a-1bcf-4161-ac6d-b61892dd0135
DTSTAMP:20260418T094652Z
CLASS:PUBLIC
DESCRIPTION:Igor Walukiewicz\n\nTitle: Characterizing consensus in the Hear
 d-Of model\n\nAbstract:\n\nThe Heard-Of model is a simple and relatively e
 xpressive model of distributed computation. Because of this\, it has gaine
 d a considerable attention of the veriﬁcation community. We give a charact
 erization of all algorithms solving consensus in a fragment of this model.
  The fragment is big enough to cover many prominent consensus algorithms. 
 The characterization is purely syntactic: it is expressed in terms of some
  conditions on the text of the algorithm.\n\n\n\nhttps://algodist.labri.fr
 /index.php/Main/GT
DTSTART;TZID=Europe/Paris:20240306T110000
DTEND;TZID=Europe/Paris:20240306T120000
LOCATION:LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4
 tr-7gp
SEQUENCE:0
SUMMARY:GT AlgoDist\, «Characterizing consensus in the Heard-Of model»\, Ig
 or Walukiewicz
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
