Introduction to team semantics (tutorial) Dagstuhl Seminar 24111: Logics for Dependence and Independence: Expressivity and Complexity, Dagstuhl, Germany, March 2024.
Logics and Complexity Theory on Reals with Connections to Neural Networks Workshop on Foundations of Computation in Sheffield,
University of Sheffield, UK, January 2024.
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.
Probabilistic Team Semantics
Dagstuhl Seminar 19031: Logics for Dependence and Independence, Dagstuhl, Germany, January 2019, slides.
Lorentz Center Workshop: Logical Aspects of Quantum Information, Leiden, Netherlands, August 2018, slides.
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.
Complexity of propositional logics in team semantics Computational Logic Day 2016, Aalto University, Finland, December 2016,
slides.
Approximation and Dependence via Multiteam Semantics Finnish Mathematical Days 2016, Turku, Finland, January 2016.
Complexity of Propositional Independence and Inclusion Logic Dagstuhl Seminar 15261: Logics for Dependence and Independence, Dagstuhl, Germany, June 2015, slides.
Complexity of validity for propositional dependence logics Nordic Complexity Workshop, Lübeck, Germany, February 2015.
Axiomatizing modal dependence logic
Colloquium on Dependence Logic, The Royal Netherlands Academy of Arts and Sciences Amsterdam, Netherlands, March 2014.
4th Finnish-Estonian Mathematical Colloquium and the Finnish Mathematical Days 2014, Helsinki, Finland, January 2014.
Weak models of distributed computing with connections to modal logic Logic@JAIST workshop, Kaga, Japan, July 2013.
Complexity of two-variable Dependence Logic and IF-Logic Oxford LINT workshop, Computing Laboratory, University of Oxford, UK, April 2011.
Seminar Talks
Descriptive Complexity Theory with Connections to Distributed Computing and Neural Networks Theory Away Day, Hilton York, York, UK, July 2023.
Temporal team semantics Logic and discrete mathematics seminar, Tampere University, Finland, September 2022.
New developments in temporal team semantics Verification seminar, University of Sheffield, UK, February 2022.
Probabilistic team semantics and BSS computation Verification seminar, University of Sheffield, UK, December 2021.
Descriptive complexity of real computation and probabilistic team semantics Aalto CS Theory Seminar, Aalto University, Finland, January 2021, slides.
Descriptive complexity of higher-order logics and quantitative reasoning Computer Science Seminar, University of Groningen, The Netherlands, September 2020.
Logics of Independence and Dependence Phileth seminar, Hokkaido University, Japan, May 2017, slides.
Definability in modal dependence and inclusion logic Finite model theory seminar, University of Helsinki, Finland, November 2016.
Decidability and undecidability of two-variable logics with team semantics Logic Seminar, University of Helsinki, Finland, September 2016.
Approximation and Dependence via Multiteam Semantics Logic Seminar, University of Helsinki, Finland, February 2016, slides.
Computational complexity of modal dependence logics
Finite model theory seminar, University of Tampere, Finland, September 2014,
Logic seminar, University of Helsinki, Finland, March 2014.
Computational complexity and team semantics Tojo Laboratory Summer Camp, Kaga, Japan, August 2014.
Boolean dependence logic and partially ordered connectives Finite model theory seminar, University of Tampere, Finland, April 2013.
Parallel computation from the perspective of descriptive complexity Finite model theory seminar, University of Tampere, Finland, December 2012.
On formal theories of geometry II Finite model theory seminar, University of Tampere, Finland, March 2012.
Undecidability and decidability results on two-variable logics with imperfect information Finite model theory seminar, University of Helsinki, Finland, November 2010.
Arity hierarchy for temporal logics Finite model theory seminar, University of Tampere, Finland, October 2009.
FO[+,x]=FO[BIT]=AC^{0} Finite model theory seminar, University of Tampere, Finland, March 2009.
Conference Talks
Unified Foundations of Team Semantics via Semirings 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2023.
Blum-Shub-Smale machines and metafinite model theory 30 years of finite model theory in Finland, Espoo, August 2022.
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.
Temporal Team Semantics Revisited
Highlights of Logic, Automata, and Games, Paris, France, July 2022,
slides.
Workshop on Logics of Dependence and Independence, LoDE 2021, Virtual, August 2021,
slides.
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.
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.
Descriptive Complexity of Deterministic Polylogarithmic Time 26th Workshop on Logic, Language, Information and Computation , Utrecht, The Netherlands, July 2019,
slides.
Team Semantics for the Specification and Verification of Hyperproperties 43rd International Symposium on Mathematical Foundations of Computer Science, Liverpool, UK, August 2018,
slides.
Expressivity within second-order transitive-closure logic
Dutch-Belgian DataBase Day 2018, Hasselt, Belgium, November 2018, slides.
27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 2018, slides.
Probabilistic Team Semantics 10th International Symposium on Foundations of Information and Knowledge Systems,
Budapest, Hungary, May 2018, slides.
Polyteam Semantics International Symposium on Logical Foundations of Computer Science, LFCS 2018,
Deerfield Beach, Florida, USA, January 2018, slides.
Model checking and validity in propositional and modal inclusion logics 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017,
slides.
Polyteam Semantics Games for Logic and Programming Languages XII, Uppsala University, Sweden, April 2017,
slides.
On quantified propositional logics and the exponential time hierarchy 7th International Symposium on Games, Automata, Logics and Formal Verification,
Catania, Italy, September 2016, slides.
Decidability of predicate logics with team semantics 41st International Symposium on Mathematical Foundations of Computer Science,
Krakow, Poland, August 2016, slides.
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality 23rd Workshop on Logic, Language, Information and Computation, Puebla, Mexico, August 2016,
slides.
Approximation and Dependence via Multiteam Semantics 9th International Symposium on Foundations of Information and Knowledge Systems, Linz, Austria, March 2016.
Complexity of Propositional Independence and Inclusion Logic 40th International Symposium on Mathematical Foundations of Computer Science, Milan, Italy, August 2015,
slides.
Definability in modal logics with team semantics Logic Colloquium 2015, Helsinki, Finland, August 2015, slides.
Characterizing Frame Definability in Team Semantics via The Universal Modality 22nd Workshop on Logic, Language, Information and Computation, Bloomington, United States, August 2015,
slides.
Complexity of validity for propositional dependence logics 5th International Symposium on Games, Automata, Logics and Formal Verification,
Verona, Italy, September 2014, slides.
Tableau calculi for propositional dependence logics 49th MLG meeting, Kaga, Japan, December 2014, slides.
The Expressive Power of Extended Modal Dependence Logic 9th Scandinavian Logic Symposium, Museum Centre Vapriikki, Tampere, Finland, August 2014.
Modal team logic 48th MLG meeting, Kaga, Japan, December 2013.
Undecidable First-Order Theories of Affine Geometries 8th Scandinavian Logic Symposium, Roskilde University, Denmark, August 2012.
Complexity of two-variable Dependence Logic and IF-Logic 26th Annual IEEE Symposium on Logic in Computer Science, Toronto, Canada, June 2011.