Invitational Workshop Talks

  1. New developments in temporal team semantics
    Logic, databases and complexity: new methods and challenges, Thematic Month: Logic and Interactions, CIRM, Campus de Luminy, Marseille, France, February 2022, slides.
  2. Probabilistic Team Semantics
    1. Dagstuhl Seminar 19031: Logics for Dependence and Independence, Dagstuhl, Germany, January 2019, slides.
    2. Lorentz Center Workshop: Logical Aspects of Quantum Information, Leiden, Netherlands, August 2018, slides.
  3. Expressivity within second-order transitive-closure logic
    Horizons of Logic, Computation and Definability: Symposium in Honour of Lauri Hella's 60th birthday, Tampere, Finland, July 2018, slides.
  4. Complexity of propositional logics in team semantics
    Computational Logic Day 2016, Aalto University, Finland, December 2016, slides.
  5. Approximation and Dependence via Multiteam Semantics
    Finnish Mathematical Days 2016, Turku, Finland, January 2016.
  6. Complexity of Propositional Independence and Inclusion Logic
    Dagstuhl Seminar 15261: Logics for Dependence and Independence, Dagstuhl, Germany, June 2015, slides.
  7. Complexity of validity for propositional dependence logics
    Nordic Complexity Workshop, Lübeck, Germany, February 2015.
  8. Axiomatizing modal dependence logic
    1. Colloquium on Dependence Logic, The Royal Netherlands Academy of Arts and Sciences Amsterdam, Netherlands, March 2014.
    2. 4th Finnish-Estonian Mathematical Colloquium and the Finnish Mathematical Days 2014, Helsinki, Finland, January 2014.
  9. Weak models of distributed computing with connections to modal logic
    Logic@JAIST workshop, Kaga, Japan, July 2013.
  10. Complexity of two-variable Dependence Logic and IF-Logic
    Oxford LINT workshop, Computing Laboratory, University of Oxford, UK, April 2011.

Seminar Talks

  1. Temporal team semantics
    Logic and discrete mathematics seminar, Tampere University, Finland, September 2022.
  2. New developments in temporal team semantics
    Verification seminar, University of Sheffield, UK, February 2022.
  3. Probabilistic team semantics and BSS computation
    Verification seminar, University of Sheffield, UK, December 2021.
  4. Descriptive complexity of real computation and probabilistic team semantics
    Aalto CS Theory Seminar, Aalto University, Finland, January 2021, slides.
  5. Descriptive complexity of higher-order logics and quantitative reasoning
    Computer Science Seminar, University of Groningen, The Netherlands, September 2020.
  6. Logics of Independence and Dependence
    Phileth seminar, Hokkaido University, Japan, May 2017, slides.
  7. Definability in modal dependence and inclusion logic
    Finite model theory seminar, University of Helsinki, Finland, November 2016.
  8. Decidability and undecidability of two-variable logics with team semantics
    Logic Seminar, University of Helsinki, Finland, September 2016.
  9. Approximation and Dependence via Multiteam Semantics
    Logic Seminar, University of Helsinki, Finland, February 2016, slides.
  10. Computational complexity of modal dependence logics
    1. Finite model theory seminar, University of Tampere, Finland, September 2014,
    2. Logic seminar, University of Helsinki, Finland, March 2014.
  11. Computational complexity and team semantics
    Tojo Laboratory Summer Camp, Kaga, Japan, August 2014.
  12. Boolean dependence logic and partially ordered connectives
    Finite model theory seminar, University of Tampere, Finland, April 2013.
  13. Parallel computation from the perspective of descriptive complexity
    Finite model theory seminar, University of Tampere, Finland, December 2012.
  14. On formal theories of geometry II
    Finite model theory seminar, University of Tampere, Finland, March 2012.
  15. Undecidability and decidability results on two-variable logics with imperfect information
    Finite model theory seminar, University of Helsinki, Finland, November 2010.
  16. Arity hierarchy for temporal logics
    Finite model theory seminar, University of Tampere, Finland, October 2009.
  17. FO[+,x]=FO[BIT]=AC0
    Finite model theory seminar, University of Tampere, Finland, March 2009.
Conference Talks

  1. Blum-Shub-Smale machines and metafinite model theory
    30 years of finite model theory in Finland, Espoo, August 2022.
  2. Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
    41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, Virtual, December 2021, slides, video.
  3. Temporal Team Semantics Revisited
    1. Highlights of Logic, Automata, and Games, Paris, France, July 2022, slides.
    2. Workshop on Logics of Dependence and Independence, LoDE 2021, Virtual, August 2021, slides.
  4. On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
    29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ljubljana, Slovenia, January 2021, slides, video.
  5. Descriptive complexity of real computation and probabilistic independence logic
    35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrucken, Germany, July 2020, slides, video.
  6. Descriptive Complexity of Deterministic Polylogarithmic Time
    26th Workshop on Logic, Language, Information and Computation , Utrecht, The Netherlands, July 2019, slides.
  7. Team Semantics for the Specification and Verification of Hyperproperties
    43rd International Symposium on Mathematical Foundations of Computer Science, Liverpool, UK, August 2018, slides.
  8. Expressivity within second-order transitive-closure logic
    1. Dutch-Belgian DataBase Day 2018, Hasselt, Belgium, November 2018, slides.
    2. 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 2018, slides.
  9. Probabilistic Team Semantics
    10th International Symposium on Foundations of Information and Knowledge Systems, Budapest, Hungary, May 2018, slides.
  10. Polyteam Semantics
    International Symposium on Logical Foundations of Computer Science, LFCS 2018, Deerfield Beach, Florida, USA, January 2018, slides.
  11. Model checking and validity in propositional and modal inclusion logics
    42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017, slides.
  12. Polyteam Semantics
    Games for Logic and Programming Languages XII, Uppsala University, Sweden, April 2017, slides.
  13. On quantified propositional logics and the exponential time hierarchy
    7th International Symposium on Games, Automata, Logics and Formal Verification, Catania, Italy, September 2016, slides.
  14. Decidability of predicate logics with team semantics
    41st International Symposium on Mathematical Foundations of Computer Science, Krakow, Poland, August 2016, slides.
  15. Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
    23rd Workshop on Logic, Language, Information and Computation, Puebla, Mexico, August 2016, slides.
  16. Approximation and Dependence via Multiteam Semantics
    9th International Symposium on Foundations of Information and Knowledge Systems, Linz, Austria, March 2016.
  17. Complexity of Propositional Independence and Inclusion Logic
    40th International Symposium on Mathematical Foundations of Computer Science, Milan, Italy, August 2015, slides.
  18. Definability in modal logics with team semantics
    Logic Colloquium 2015, Helsinki, Finland, August 2015, slides.
  19. Characterizing Frame Definability in Team Semantics via The Universal Modality
    22nd Workshop on Logic, Language, Information and Computation, Bloomington, United States, August 2015, slides.
  20. Complexity of validity for propositional dependence logics
    5th International Symposium on Games, Automata, Logics and Formal Verification, Verona, Italy, September 2014, slides.
  21. Tableau calculi for propositional dependence logics
    49th MLG meeting, Kaga, Japan, December 2014, slides.
  22. The Expressive Power of Extended Modal Dependence Logic
    9th Scandinavian Logic Symposium, Museum Centre Vapriikki, Tampere, Finland, August 2014.
  23. Modal team logic
    48th MLG meeting, Kaga, Japan, December 2013.
  24. Undecidable First-Order Theories of Affine Geometries
    8th Scandinavian Logic Symposium, Roskilde University, Denmark, August 2012.
  25. Complexity of two-variable Dependence Logic and IF-Logic
    26th Annual IEEE Symposium on Logic in Computer Science, Toronto, Canada, June 2011.