Presentations
On database dependencies and information inequalities. Algebra and discrete mathematics seminar, Aalto University, Finland, April 2023.
Dependencies and information inequalities I&II. Logic Seminar, University of Helsinki, Finland, November 2022.
Dependencies in team semantics. Dagstuhl Seminar: Algorithmic Aspects of Information Theory. Wadern, Germany, July 2022.
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. PODS 2022, Philadelphia, USA, June 2022.
On consistent query answering over primary and foreign keys. Foundations Friday, Aalto University, January 2022.
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys (Parts I and II). Logic Seminar, January 2022.
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. JELIA 2021, virtual presentation, May, 2021.
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. Logic seminar, University of Helsinki, December, 2020.
Complexity of probabilistic inclusion logic and additive real arithmetics. LoDE 2020V, virtual presentation, August, 2020.
Descriptive complexity of real computation and probabilistic independence logic. LICS 2020, virtual presentation, July, 2020.
Probabilistic team semantics, Team Logic Day, University of Hanover, Germany, January, 2020.
Probabilistic team semantics, Finnish Mathematicians’ Annual Meeting, University of Oulu, Finland, January, 2020.
Consistent Query Answering and Inclusion Logic, Logicians' Autumn Gathering, University of Helsinki, Finland, November, 2019.
Dependence logic, University of Mons, Belgium, September, 2019.
Complexity Thresholds in Inclusion Logic, WoLLIC 2019, Utrecht, The Netherlands, July, 2019.
Team Semantics, Dagstuhl Seminar 19031, Wadern, Germany, January, 2019.
Probabilistic dependencies, Logic Seminar, University of Helsinki, Finland, November, 2018.
Automated Reasoning about Key Sets, University of Hasselt, Belgium, November, 2018.
Probabilistic team semantics, University of Helsinki and Chinese Academy of Science joint seminar, University of Helsinki, Finland, October, 2018.
Probabilistic team semantics, Finite Model Theory Seminar, University of Tampere, Finland, October, 2018.
Automated Reasoning about Key Sets, Logic Seminar, University of Helsinki, Finland, September, 2018.
Automated Reasoning about Key Sets, IJCAR 2018, Oxford, United Kingdom, July, 2018.
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms, DASFAA 2018, Gold Coast, Australia, May, 2018.
On the Complexity of Inclusion Logic, Logic Seminar, University of Helsinki, Finland, December, 2017.
On the Interaction of Inclusion Dependencies with Independence Atoms. LPAR- 21, Maun, Botswana, May, 2017.
Logics for Dependence and Independence – A Data-Driven Approach, University of Auckland, New Zealand, April, 2017.
Entailment in modal and propositional dependence logic. Logic Seminar, University of Helsinki, Finland, August, 2016.
Data Dependencies and Logic. Workshop on the occasion of Jouko Väänänen’s 3 it to New Zealand, Research Centre Coromandel, New Zealand, April, 2016.
Reasoning about embedded dependencies using inclusion dependencies. LPAR- 20, Suva, Fiji, November, 2015.
Complexity of propositional independence and inclusion logic, Finite Model Theory Seminar, University of Tampere, Finland, October, 2015.
Complexity of propositional independence and inclusion logic, Logic Seminar, University of Helsinki, Finland, September, 2015
Axiomatizing dependencies in team semantics, Dagstuhl Seminar 15261, Wadern, Germany, July, 2015.
On independence atoms and keys, Finite Model Theory Seminar, University of Tampere, Finland, November, 2014.
On independence atoms and keys, CIKM 2014, Shanghai, China, November, 2014.
Hierarchies in inclusion logic, Scandinavian Logic Symposium 2014, Tampere, Finland, August, 2014.
Hierarchies in inclusion logic with lax semantics, EASLLC 2014, Beijing, China, July, 2014.
A finite axiomatization of conditional independence and inclusion dependencies, University of Kiel, Germany, June, 2014.
A finite axiomatization of conditional independence and inclusion dependencies, FoIKS 2014, Bordeaux, France, March, 2014.
A finite axiomatization of conditional independence and inclusion dependencies, Academy Colloquium Dependence Logic, KNAW, Amsterdam, The Netherlands, March, 2014.
Hierarchies in inclusion logic with lax semantics, Finite Model Theory Seminar, University of Helsinki, Finland, February, 2014.
Dependence and independence, Students' Seminar, University of Helsinki, Finland, November, 2013.
Hierarchies in inclusion logic, Logic Seminar, University of Helsinki, Finland, November, 2013.
Hierarchies in independence logic, CSL 2013, Turin, Italy, November, 2013.
Axiomatizing conditional independence and inclusion, Workshop on inquisitive logic and dependence logic, ILLC, Amsterdam, The Netherlands, June, 2013.
Hierarchies in independence logic, Finite Model Theory Seminar, University of Tampere, Finland, May, 2013.
Axiomatizing first-order consequences in independence logic, Dagstuhl Seminar 13071, Wadern, Germany, February, 2013.
Deriving atomic consequences in dependence, independece and inclusion logic, Logic Seminar, University of Helsinki, Finland, February, 2012.
Axiomatizing first-order consequences in independence logic, Finite Model Theory Seminar, University of Helsinki, Finland, November, 2012.