✳flâneur — a map of the web's best reading

Extended Reunion: Theoretical Foundations of Computer Systems

simons.berkeley.edu · 1 words · saved by 1 readers

This extended monthlong reunion is for long-term participants from the program on the Theoretical Foundations of Computer Systems, held in the Spring 2021 semester. The field of theoretical foundations of computer systems (TFCS) was intensively developed over the last three decades, yielding major improvements in model checking, synthesis, and game-theoretic analysis. A major challenge in the field is the need for computational scalability. The program aimed at bringing together leading researchers on these themes. The program focused on the following aspects:

Image

Explore this link on the map →

related reading