Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
TBA
June 3, 2024
Federico Olimpieri
(University of Leeds)
TBA
Post navigation
Bornes inférieures et impossibilité en algorithmique distribuée auto-stabilisante
On the Computability of Compact Sets