You can find teasers and videos of the talks on youtube. Here is a link to the playlist of all teasers, and here is a link to the playlist of all presentations.
- Can Baskent. A Game Theoretical Semantics for Logics of Nonsense [teaser][full]
- Lucas Martinelli Tabajara and Moshe Vardi. LTLf Synthesis under Partial Observability: From Theory to Practice [teaser][full]
- Lauri Hella, Antti Kuusisto and Raine Rönnholm. Bounded game-theoretic semantics for modal mu-calculus [teaser][full]
- Florian Bruse, Jörg Kreiker, Martin Lange and Marco Sälzer. Local Higher-Order Fixpoint Iteration [teaser][full]
- Oebele Lijzenga and Tom van Dijk. Symbolic parity game solvers that yield winning strategies [teaser][full]
- Yong Li, Moshe Vardi and Lijun Zhang. On the Power of Unambiguity in Büchi Complementation [teaser][full]
- Aniello Murano, Sasha Rubin and Martin Zimmermann. Optimal Strategies in Weighted Limit Games [teaser][full]
- Bader Abu Radi and Orna Kupferman. Canonicity in GFG and Transition-Based Automata [teaser][full]
- Jan Kretinsky, Emanuel Ramneantu, Alexander Slivinskiy and Maximilian Weininger. Comparison of Algorithms for Simple Stochastic Games [teaser][full]
- Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière and Pierre Vandenhove. Decisiveness of Stochastic Systems and its Application to Hybrid Models [teaser][full]
- Mara Downing, Abtin Molavi and Lucas Bang. Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis [teaser][full]
- Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer and Nathalie Sznajder. Synthesis in Presence of Dynamic Links [teaser][full]
- Andrew Wells, Morteza Lahijanian, Lydia Kavraki and Moshe Vardi. LTLf Synthesis on Probabilistic Systems [teaser][full]
- Íñigo Íncer Romeo, Leonardo Mangeruca, Tiziano Villa and Alberto Sangiovanni-Vincentelli. The Quotient in Preorder Theories [teaser][full]