Rationality and Fault-Tolerance
Jean-Philippe Martin,
Microsoft Research –
Abstract:
Abstract:
When there is no central administrator to control the actions of
nodes in a distributed system, users may deviate for personal
gain. How, then, can we design protocols that give any useful
guarantee?
In this talk I present research done at the University of Texas at
Austin. I show how the BAR model accurately describes these
environments and, through an example, show how to apply this model
to build protocols that provide guarantees despite rational and
Byzantine nodes.
Date: 2007-Mar-26 Time: 09:30:00 Room: Room 918 (Auditório Alfa, INESC-ID, Rua Alves Redol)
For more information:
- +351213100245
Upcoming Events
International Day of Women and Girls in Science: Inês Lynce at Pavilhão do Conhecimento

Inês Lynce — President of the Board of Directors of INESC-ID, Automated Reasoning and Software Reliability (ARSR) researcher, CMU Portugal National Co-Director and Full Professor at Instituto Superior Técnico — will participate in the Ciência Viva celebrations for the 2023 International Day of Women and Girls in Science (IDWGIS) on 11 February.
Inês Lynce is one of the invited speakers of the Roundtable “Pergunta-me o que é ser cientista” (Ask me what it means to be a scientist; 15:00-16:30 at Auditório José Mariano Gago, Pavilhão do Conhecimento), where female researchers and university students from different areas of science (engineering, information technology, physics and mathematics) will speak about what it means to be a “woman in science” in each of their fields.
The IDWGIS at Pavilhão do Conhecimento will be entirely dedicated to promoting activities to encourage and promote access for all girls and women to training and education in the field of science.
Here’s the full agenda.
INESC-ID ESR Talks – February 2023

If you are a masters/PhD student or a postdoctoral fellow, come and present your work in an informal and friendly environment – and savour some tasty snacks!
Individual talks will be 10-15 minutes plus time for feedback. Enroll on your selected date by emailing pedro.ferreira[at]inesc-id.pt.
Happening on the second Wednesday of every month (4pm-5pm):
- 15 February (Alves Redol, Room 9)
- 15 March (Alves Redol, Room 9)
- 12 April (Alves Redol, Room 9)
- 10 May (Alves Redol, Room 9)
- 14 June (Alves Redol, Room 9)
- 12 July (Alves Redol, Room 9)
We hope to see you there!