Spring 2021

Games and Equilibria in System Design and Analysis

(Weekly event) Feb 19, 2021 to May 14, 2021 (ended)View all dates

All scheduled dates:

  • Feb 19, 2021 (ended)
  • Feb 26, 2021 (ended)
  • Mar 5, 2021 (ended)
  • Mar 12, 2021 (ended)
  • Mar 19, 2021 (ended)
  • Mar 26, 2021 (ended)
  • Apr 2, 2021 (ended)
  • Apr 9, 2021 (ended)
  • Apr 16, 2021 (ended)
  • Apr 23, 2021 (ended)
  • Apr 30, 2021 (ended)
  • May 7, 2021 (ended)
  • May 14, 2021 (ended)

Add to Calendar


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)

In response to the COVID-19 pandemic, Simons Institute events are currently taking place online. Please register to receive the Zoom webinar access details.

This workshop will take place Fridays from 9 a.m. to 10:30 a.m. (PDT).

This workshop aims to develop game theory in connection with the verification, design, and analysis of complex systems. 

Games have been developed since the beginning of the theoretical foundations of computer systems (TFCS): games permit the modeling of the complex logical interactions between a proponent and an opponent, a controller and an environment, or a verifier and a falsifier. Since this antagonistic nature of players underlies many concepts in TFCS, it naturally plays a central role in many applications, such as model checking and controller synthesis techniques, as well as in logics and automata theory. Games involving probabilistic features are also heavily studied in the analysis of realistic systems exhibiting stochastic behaviors. In artificial intelligence, games allow us to formalize problems of dynamic motion policy synthesis. In their multiplayer form, games offer a suitable vocabulary for modeling complex multiagent systems and reasoning about them. For all these reasons, games in their many forms play a central role in TFCS. 

This workshop will gather leading experts in these very active fields, ranging from theoretical aspects of game theory, involving algorithms for their exact resolutions and heuristics, to their applications in verification, in synthesis, in artificial intelligence, and for multiagent systems.

Further details about this workshop will be posted in due course. Enquiries may be sent to the organizers workshop-tfcs2 [at] (at this address).