BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:3d15ceec-0377-4933-a13c-353229c05144
X-WR-CALNAME:[MTV] Lucie Guillou (MPI-SWS) - Verifying networks with many a
 gents
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:3d15ceec-0377-4933-a13c-353229c05144
DTSTAMP:20260404T110059Z
CLASS:PUBLIC
DESCRIPTION:In this talk\, I will first present my PhD subject\, where\, to
 gether with Arnaud Sangnier and Nathalie Sznajder\, we studied networks wi
 th unboundedly many agents\, each of them executing a protocol given as an
  automaton. They communicate via broadcast and non-blocking rendez-vous\, 
 and I will talk about three verification problems we studied during the Ph
 D. One of the main contribution of my PhD is the introduction of a structu
 ral restriction on the shape of the protocols called Wait-Only\, where eac
 h state of the protocol is either an action state (from which a process ca
 n only send messages) or a waiting state (a state from which it can only r
 eceive messages). We will see how this restriction gives significantly bet
 ter complexity results for different verification problems\, and why. I wi
 ll then explain how my current postdoc subject also fits this quest of ver
 ifying distributed systems\, although it takes a different approach\, as i
 t focuses on stateless model checking. I will explain the challenges and o
 pen questions in that area.\n\n\nImport automatique depuis https://framage
 nda.org/remote.php/dav/public-calendars/D3yqF7nwys9amfyY?export par sync_i
 cals_to_drupal.py pour M2F
DTSTART;TZID=Europe/Paris:20251202T140000
DTEND;TZID=Europe/Paris:20251202T150000
LOCATION:LaBRI\, salle 178
SEQUENCE:0
SUMMARY:[MTV] Lucie Guillou (MPI-SWS) - Verifying networks with many agents
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
