BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1668
DTSTAMP:20260127T140147Z
SUMMARY:Synthesis of Full-Information Protocols
DESCRIPTION:Speaker: Dietmar Berwanger (Université Paris-Saclay\, CNRS\, E
 NS Paris-Saclay)\n\nAbstract: \nIn this talk I will discuss a simple\, but
  powerful way to think about communication in distributed systems: wheneve
 r two (or more) processes interact\, they dump all of their current local 
 knowledge to each other. This full‑information view\, standard in distri
 buted computing\,  becomes subtle once we admit an undetermined environme
 nt that decides when communication happens and who participates. From the 
 perspective of an individual process\, a single interaction can then conve
 y an arbitrarily large amount of information\, so the traditional automata
 -theoretic approach breaks down.\nTo analyse such systems\, we model them 
 as infinitely repeated games with imperfect information. The central messa
 ge will be that effective synthesis hinges on identifying the right suppor
 t for game equivalence: although the process may face unboundedly branchin
 g information trees\, many different information histories are strategical
 ly indistinguishable. By quotienting these histories via an equivalence th
 at preserves winning strategies (and ω-regular objectives)\, we can repla
 ce the unmanageable information growth by a finite\, strategy-faithful gam
 e abstraction. \nThe talk is based on joint work with Laurent Doyen and T
 homas Soullard presented at FSTTCS 2025.\nShort Bio: Dietmar Berwanger is 
 a CNRS researcher at Laboratoire Méthodes Formelles in Paris-Saclay. He o
 btained his PhD in 2005 from RWTH Aachen University\, and his work sits at
  the intersection of logic\, automata theory\, and infinite games\, with a
 pplications to formal methods. In recent years\, he focused on strategic c
 oordination in games and distributed systems\, in particular on distribute
 d information. Strongly attached to India and its research community\, he 
 will be joining the Indo–French joint research laboratory ReLax in Chenn
 ai for the coming five years.\n
URL:https://www.tcs.tifr.res.in/web/events/1668
DTSTART;TZID=Asia/Kolkata:20260128T160000
DTEND;TZID=Asia/Kolkata:20260128T170000
LOCATION:HBA Foyer
END:VEVENT
END:VCALENDAR