# Information, Interaction, and Choice

Doctoral Privatissimum

Studying logics like the polyadic modal mu-calculus, epistemic temporal logic, and strategy logic, this doctoral privatissimum will explore logical questions at the intersection of game theory, epistemology, and information flow control. It is meant as an introduction for interested students to current research on logics for reactive systems. Our goal is to develop the languages needed to formulate important questions such as “what information is leaked to an external observer?”, “can two requirements be satisfied at the same time?”, “what objectives can be enforced through a certain interface?”, and, at the same time, to understand the algorithmic tools need to answer such questions in an automatic verification or synthesis tool.

Room: | 506, building E1.3 |

Time: | Thursdays 8:30am-10:00am |

## Schedule

- January 17: “Model Checking on Trees with Path Equivalences”
- February 2: “A Polyadic Modal μ-Calculus”, “Model Checking Information Flow in Reactive Systems”
- February 7: “A Universally Defined Undecidable Unimodal Logic”
- February 21: “Strategy Logic”
- March 7: “Coordination Logic”
- March 21: Review, intro to epistemic logics
- April 15: “Epistemic logic: a survey”
- April 24: “Reasoning About Knowledge”
- May 2: “The Ditmarsch Tale of Wonders – The Dynamics of Lying”
- May 16: “Achieving distributed control through model checking”
- June 6: “Weak Cost Monadic Logic over Infinite Trees”