Extended Reunion: Theoretical Foundations of Computer Systems
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:
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: New developments in logic:…
related reading
- NYSRGnotes.ekzhang.com
- Shtetl-Optimized >> Blog Archive >> The First Law of Complexodynamicsscottaaronson.blog
- Software Foundationssoftwarefoundations.cis.upenn.edu
- BiereCimattiClarkeStrichmanZhu-Advances-58-2003-preprint.pdffmv.jku.at
- Computer Sciencearxiv.org
- Visions in Theoretical Computer Sciencethmatters.files.wordpress.com
- Books written by winners of the Turing Award.categorybooks.com
- Eric Parfitt's Projectsesopsis.github.io
- MIT 6.512, Fall 2025frap.csail.mit.edu
- EPTCS 411: Formal Methods for Autonomous Systemsarxiv.org
- What Makes a (Graphics) Systems Paper Beautifulgraphics.stanford.edu
- Computational Complexity Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu