Spring 2021

Theoretical Foundations of Computer Systems

Jan. 12May 14, 2021

This program aims at the development of the theoretical foundations of computer systems (TFCS). This field of research was intensively developed over the last three decades, yielding major improvements in model checking techniques as well as in satisfiability solving. The major challenge in the field is the need for scalability. The program aims at bringing together leading researchers on these themes. TFCS is collocated with a closely related program on satisfiability (SAT). 

The program will focus on the following aspects:

  • New developments in logic:  Logic is often used in TFCS as a specification formalism, describing in a formal and rigorous way the requirements that a system under design or under verification is expected to satisfy.
  • New developments in automata:  Automata are used in TFCS both as a modeling formalism, for example, transducers are used to model reactive systems, and as reasoning tools, as in the automata-theoretic approach to temporal model checking.
  • Probabilistic modeling in the analysis of systems:  Probabilistic methods are used in the modeling and analysis of systems that exhibit probabilistic behavior, from randomized algorithms to biological systems.
  • The use of games and their equilibria:  Games are used in TFCS both as an algorithmic construct, for example, in the usage of alternating automata in temporal model checking, and as a modeling construct, for example, in the design of reactive systems it is convenient to consider the setting as a game between the system and its environment. Once multi-agent systems are considered, equilibria enter in a natural way.
  • Techniques for the analysis of cyber-physical systems:  Many features of real systems, for example time and energy usage, are quantitative, and to express these one needs continuous, real-valued functions and suitable hybrid combinations of discrete and quantitative constructs.

sympa [at] (body: (Click here to subscribe to our announcements email list for this program).


Thomas Colcombet (Université Paris Diderot - Paris 7; chair), Pavol Černý (TU Wien), Marta Kwiatkowska (University of Oxford), Ruzica Piskac (Yale University), Moshe Vardi (Rice University)

Long-Term Participants (including Organizers):

Parosh Abdulla (Uppsala University), Ras Bodik (University of Washington), Mikolaj Bojanczyk (University of Warsaw), Maria Paola Bonacina (University of Verona), Ahmed Bouajjani (U. Paris 7), Pavol Černý (TU Wien), Supratik Chakraborty (IIT Bombay), Thomas Colcombet (Université Paris Diderot - Paris 7; chair), Rayna Dimitrova (University of Sheffield), Javier Esparza (Technische Universität München), Kousha Etessami (University of Edinburgh), Kousha Etessami (University of Edinburgh), Azadeh Farzan (University of Toronto), Bernd Finkbeiner (Saarland University), Orna Grumberg (Technion), Marcin Jurdzinski (University of Warwick), Antonin Kučera (Masaryk University), Marta Kwiatkowska (University of Oxford), Ranko Lazic (University of Warwick, Department of Computer Science), Anthony Lin (TU Kaiserslautern), Rupak Majumdar (Max Planck Institute for Software Systems; International Computer Science Institute), Alexandra Martins da Silva (University College London), David Mitchell (Simon Fraser University), Sayan Mitra (University of Illinois at Urbana Champaign), Annielo Murano (University of Naples Federico II), Anca Muscholl (University of Bordeaux), Gethin Norman (University of Glasgow), Ruzica Piskac (Yale University), Nir Piterman (Gothenburg University), Pavithra Prabhakar (Kansas State University), Stefan Szeider (TU Wien), Ufuk Topcu (University of Texas at Austin), Szymon Torunczyk (University of Warsaw), Moshe Vardi (Rice University), Igor Walukiewicz (University of Bordeaux), Thomas Wies (NYU)

Research Fellows:

Lin Chen (Yale University), Nathanaël Fijalkow (CNRS), Karoliina Lehtinen (University of Liverpool), Anna Lukina (Institute of Science and Technology Austria), Umang Mathur (University of Illinois at Urbana-Champaign)

Visiting Graduate Students and Postdocs:

Yehia Abd Alrahman (Gothenburg University), Shaun Azzopardi (Gothenburg University), Antonio Casares (Université de Bordeaux), Norine Coenen (Saarland University), Thomas Gilbert (UC Berkeley), William Hallahan (Yale University), Jana Hoffmann (CISPA Helmholtz Center), Arthur Jaquard (IRIF), Samuel Judson (Yale University), Alexander Kozachinskiy (University of Warwick), Jędrzej Kołodziejski (University of Warsaw), Viktor Kunčak (EPFL), Ratan Lal (Kansas State University), Ning Luo (Yale University), Mauricio Martel (Gothenburg University), Niklas Metzger (CISPA Helmholtz Center), Yifei Min (Yale University), Pierre Ohlmann (IRIF), Noemi Passing (CISPA Helmholtz Center), Vaidyanathan Peruvemba Ramaswamy (TU Wien), Thejaswini Raghavan (University of Warwick), Maximilian Schwenger (Saarland University), Guha Shibashis (Indian Institute of Technology Delhi), Rafał Stefański (University of Warsaw)


Jan. 25Jan. 29, 2021


Moshe Vardi (Rice University; chair), Pavol Černý (TU Wien), Thomas Colcombet (Université Paris Diderot - Paris 7), Marta Kwiatkowska (University of Oxford), Ruzica Piskac (Yale University)
Feb. 8, 2021 to May 10, 2021


Radu Grosu (TU Wien), Ras Bodik (University of Washington), Ruzica Piskac (Yale University), Sanjit Seshia (UC Berkeley)
Feb. 10, 2021 to May 12, 2021


Antonina Kolokolova (Memorial University of Newfoundland; co-chair), Moshe Vardi (Rice University; co-chair), María Luisa Bonet Carbonell (Universitat Politecnica de Catalunya), Vijay Ganesh (University of Waterloo), Marijn Heule (Carnegie Mellon University), Kevin Leyton-Brown (University of British Columbia)
Feb. 12, 2021 to May 14, 2021


Rajeev Alur (University of Pennsylvania), Pavol Černý (TU Wien), Rupak Majumdar (Max Planck Institute for Software Systems; International Computer Science Institute), Michael Wooldridge (University of Oxford)

Those interested in participating in this program should send an email to the organizers tfcs2021 [at] (at this address).

 Subscribe to the program calendar.

Internal Program Activities

Friday, January 22 8:30 am9:30 am

Past Internal Program Activities

Wednesday, January 20 9:00 am10:30 am
Tuesday, January 19 8:00 am9:00 am
Thursday, January 14 9:00 am11:00 am