BEGIN:VCALENDAR CALSCALE:GREGORIAN VERSION:2.0 X-WR-TIMEZONE:Europe/Paris METHOD:PUBLISH PRODID:-//LIP6//www.lip6.fr//FR X-WR-CALNAME;VALUE=TEXT:Séminaire LIP6 X-LIC-LOCATION:Europe/Paris BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT TZOFFSETFROM:+0100 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU DTSTART:19810329T020000 TZNAME:GMT+02:00 TZOFFSETTO:+0200 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU DTSTART:19961027T030000 TZNAME:GMT+01:00 TZOFFSETTO:+0100 END:STANDARD END:VTIMEZONE BEGIN:VEVENT SUMMARY:Colloquium Nancy Lynch: A Theoretical View of Distributed Systems ORGANIZER;CN=Antoine Miné:MAILTO:antoine.mine@lip6.fr ATTENDEE;CN=Nancy Lynch;CUTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED DESCRIPTION:For several decades\, my collaborators\, students\, and I have worked on theory for distributed systems\, in order to understand their c apabilities and limitations in a rigorous\, mathematical way. This work ha s produced many different kinds of results\, including :
These various results have spanned many d ifferent kinds of systems\, ranging from distributed data-management syste ms\, to communication systems\, to biological systems such as insect colon ies and brains. In this talk\, I will overview some highlights of our wo rk over many years on theory for distributed systems. I will break this do wn in terms of three intertwined “research threads”: algorithms for t raditional distributed systems\, impossibility results\, and mathematical foundations. At the end\, I will say something about our recent work on al gorithms for new kinds of distributed systems. DTSTAMP:20240328T153342Z DTSTART;TZID=Europe/Paris:20190912T180000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/colloquium/?guest=Lynch UID:LIP6/SEM/C46 LOCATION:Sorbonne Université (Amphi 44)\, 4\, place Jussieu\, 75005 Paris GEO:48.846643;2.355248 END:VEVENT END:VCALENDAR