BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1788
DTSTAMP:20261007T061052Z
SUMMARY:Reachability in Local-Timed Negotiations
DESCRIPTION:Speaker: Adwitee Roy (TIFR)\n\nAbstract: \nNegotiations model c
 oncurrent systems through multiparty interactions between processes. Each 
 interaction has possible outcomes that determine the processes' subsequent
  behaviour. In this talk\, I will introduce negotiations and their extensi
 on to local-timed negotiations\, where processes have local clocks and tim
 ing constraints\, advance time independently\, and synchronize their local
  times at selected interactions. We studied reachability in this model: ca
 n a specified interaction outcome occur?\nI will explain how differences b
 etween local times can encode unbounded counters\, making reachability und
 ecidable in general. I will then describe decidable fragments\, including 
 synchronization-free and always-synchronizing local-timed negotiations\, a
 nd systems in which every feasible finite interaction sequence admits a re
 alization with uniformly bounded differences between local times. If time 
 permits\, I will briefly explain how a connectivity condition on time-sync
 hronizing interactions guarantees such a bound.\nBio: Adwitee Roy is a res
 earch associate at the Tata Institute of Fundamental Research\, with resea
 rch interests in automata\, logic\, and games. Her doctoral research at Ch
 ennai Mathematical Institute\, supervised by B. Srivathsan\, studied reach
 ability and decidability in concurrent systems with local time.\n
URL:https://www.tcs.tifr.res.in/web/events/1788
DTSTART;TZID=Asia/Kolkata:20261013T160000
DTEND;TZID=Asia/Kolkata:20261013T170000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR