BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:cd69fefc-1f04-414f-b33a-25213cf66eb4
X-WR-CALNAME:[MTV] Chana Weil-Kennedy (CEA List) - Parameterized Verificati
 on 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:cd69fefc-1f04-414f-b33a-25213cf66eb4
DTSTAMP:20260404T083445Z
CLASS:PUBLIC
DESCRIPTION:I am interested in verification of distributed systems with an 
 unbounded number of agents running the same finite-state program. These in
 clude systems like conservative Petri nets\, population protocols\, reconf
 igurable broadcast networks and more. Properties of interest for these sys
 tems are 'parameterized': for example\, is there a number of agents N such
  that my system instantiated with N agents reaches a bad configuration? I 
 will present a recent result on HyperLTL for population protocols\, where 
 we will see that the verification problem can be cast as a parameterized r
 eachability property. I will then present some open questions for paramete
 rized verification of such systems. If I have time\, I will present my new
 est research direction which concerns runtime verification of distributed 
 systems\, and the hypotheses that can be made on the setting.\n\n\nImport 
 automatique depuis https://framagenda.org/remote.php/dav/public-calendars/
 D3yqF7nwys9amfyY?export par sync_icals_to_drupal.py pour M2F
DTSTART;TZID=Europe/Paris:20251118T140000
DTEND;TZID=Europe/Paris:20251118T150000
LOCATION:LaBRI\, salle 178
SEQUENCE:0
SUMMARY:[MTV] Chana Weil-Kennedy (CEA List) - Parameterized Verification of
  Distributed Systems
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
