BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:bca7039e-bf00-4a37-b199-2cc8a7e8cf17
X-WR-CALNAME:GT AlgoDist\,  Chana Weil-Kennedy\, «Parameterized Verificatio
 n of Distributed Systems»
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20271031T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20251026T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20261025T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20250330T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20260329T020000
RDATE:20270328T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:bca7039e-bf00-4a37-b199-2cc8a7e8cf17
DTSTAMP:20260403T215509Z
CLASS:PUBLIC
DESCRIPTION:Chana Weil-Kennedy (CEA List)\n\nTitle: Parameterized Verificat
 ion of Distributed Systems\n\nAbstract:\n\nI am interested in verification
  of distributed systems with an unbounded number of agents running the sam
 e finite-state program. These include systems like conservative Petri nets
 \, population protocols\, reconfigurable broadcast networks and more. Prop
 erties of interest for these systems are 'parameterized' : for example\, i
 s there a number of agents N such that my system instantiated with N agent
 s reaches a bad configuration? I will discuss some results identifying mod
 els in which these problems are decidable. I will then present some open q
 uestions for parameterized verification of such systems. Finally\, I will 
 present my newest research direction which concerns runtime verification o
 f distributed systems\, and the hypotheses that can be made on the setting
 .\n\n\n\nhttps://algodist.labri.fr/index.php/Main/GT\n\nImport automatique
  depuis https://webmel.u-bordeaux.fr/home/bf-labri.ca@u-bordeaux.fr/gt.alg
 o-dist.ics par sync_icals_to_drupal.py pour gt-algodist
DTSTART;TZID=Europe/Paris:20251117T110000
DTEND;TZID=Europe/Paris:20251117T120000
LOCATION:LaBRI 178
SEQUENCE:0
SUMMARY:GT AlgoDist\,  Chana Weil-Kennedy\, «Parameterized Verification of 
 Distributed Systems»
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
