Logic Colloquium, Vienna, Austria, July 7-11, 2025
(invited) Logic seminar, School of Philosophy, Beijing Normal University, November 1, 2024
Workshop on occasion of Marco Degano's PhD defense, ILLC, Amsterdam, October 16, 2024
(invited) Workshop on information-based semantics and related frameworks, Czech Academy of Sciences, Prague, June 6-7, 2024
(invited) Logic seminar, Center for Logic, Language and Cognition, Peking University, April 1, 2024
(invited keynote) The 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, China, March 30-31, 2024
(invited) Sixth Asian Workshop on Philosophical Logic, Sapporo, Japan, March 4-6, 2024
(invited) Workshop on Inquisitive Modal Logic and related topics, Padua, Italy, February 22-23, 2024
(invited) The Nihil Workshop, Amsterdam, The Netherlands, January 31 - February 2, 2024
TULIPS seminar, Utrecht University, The Netherlands, December 7, 2023
Helsinki Logic Seminar, University of Helsinki, Finland, September 27, 2023
(invited) Tsinghua Logic Salon, Tsinghua University, Beijing, China, March 9, 2023, "Dependence logic and its axiomatization problem"
(invited) LLAMA seminar, ILLC, University of Amsterdam, The Netherlands, February 22, 2023, "The axiomatization problem of dependence logic"
Lunch Lecture, Department of Philosophy and Religious Studies, Utrecht University, January 17, 2023, "An overview of dependence logic"
(invited) LIRa seminar, ILLC, University of Amsterdam, The Netherlands, December 15, 2022, "Generalizing propositional team semantics"
(invited) The 28th Nordic Congress of Mathematicians, Aalto University, Finland, August 18-21, 2022, "Generalized propositional team semantics"
(invited plenary) June 20-24, 2022, TACL 2022, Coimbra, Portugal, "Dependence logic and team semantics"
April 22-23, 2022, Logic4Peace, online, "Generalized propositional team semantics"
(invited) March 15, 2022, Models and Sets seminar, University of Leeds, UK, "Dependence logic and its axiomatization problem"
March 4, 2022, Seminar in Logic and Philosophy of Mathematics, Helsinki, "intuitionistic and intermediate logics in the team semantics setting"
January 4-5, 2022, Finnish Mathematical Days, online, "Intermediate logics in the team semantics setting"
October 13, 2021, Helsinki Logic Seminar, University of Helsinki, Finland, "Intermediate logics in the team semantics setting"
July 19-24, 2021, Logic Colloquium, online, "Intermediate logics in the team semantics setting"
February 10, 2021, Helsinki Logic Seminar, University of Helsinki, Finland, "Propositional union closed team logics"
May 26, 2020, Logic Seminar, Center for Logic, Language and Cognition, Peking University, Beijing, China (virtual), "An overview of dependence logic"
(invited) November 27, 2019, Workshop on the occasion of Dick de Jongh's 80th Birthday, ILLC, Amsterdam, The Netherlands, "Intuitionistic logic in the team semantics setting"
July 2-5, 2019, Workshop on Logic, Language, Information and Computation (WoLLIC), Utrecht, The Netherlands, “Logics for first-order team properties”
May 17, 2019, Spring gathering of logicians in Tampere, "Logics for first-order team properties"
(invited) May 9, 2019, LIRa seminar, ILLC, Amsterdam, The Netherlands, "Logics for first-order team properties"
April 17, 2019, Logic Seminar, University of Helsinki, Finland, "Logics for first-order team properties"
April 6-7, 2019, 14th Workshop on Games for Logic and Programming Languages (GaLoP), Prague, Czech Republic, "Logics for first-order definable team properties"
January 21-25, 2019, Syntax Meets Semantics, Amsterdam, The Netherlands, "Union closed team logics: expressive power and axiomatizations"
January 13-18, 2019, Dagstuhl Seminar on Logics for Dependence and Independence, Germany, "Union closed team logics"
October 30 - November 2, 2018, UH-CAS Workshop on Mathematical Logic, Helsinki, Finland, "Analyzing Arrow's Theorem Through Dependence and Independence Logic"
September 5, 2018, Dependence logic minisymposium, Helsinki, Finland, "Union closed logics: axiomatizations and expressive power"
(invited) July 25-27, 2018, Inquisitive Logic Workshop, Amsterdam, The Netherlands, "Axiomatizing (essentially) first-order consequences in first-order logics of dependence and independence"
June 11-13, 2018, The 10th Scandinavian Logic Symposium, Gothenburg, Sweden, "Axiomatizing first-order consequences in inclusion logic"
(invited) May 16-19, 2018, ASL North American Annual Meeting, Macomb, Illinois, USA, "Analyzing Arrow's Theorem Through Dependence and Independence Logic"
March 23, 2018, Research Seminar in Finite Model Theory, Helsinki, Finland, "Negation and partial axiomatizations of dependence and independence logic revisited"
Feb 14, 2018, Logic Seminar, University of Helsinki, Finland, "Questions and dependency in intuitionistic logic"
January 24 & 31, 2018, Logic Seminar, University of Helsinki, Finland, "Deriving and generalizing Arrow’s Theorem in dependence and independence logic"
(invited) July 18-21, 2017, Workshop on Logic, Language, Information and Computation (WoLLIC), London, UK, "Characterizing dependencies in logic and sciences"
June 26-30, 2017, TACL, Prague, Czech Republic
March 3, 2017, Inquisitive Semantics Seminar, ILLC, Amsterdam, The Netherlands, "Propositional Team Logics"
September 5-9, 2016, Syntax Meets Semantics, Barcelona, Spain, "Structural Multi-type Sequent Calculus for Modal Intuitionistic Dependence Logic"
August 30 – September 2, 2016, Advances in Modal Logic, Budapest, Hungary, “Axiomatizing Modal Dependence Logics”
16-19 August 2016, Workshop on Logic, Language, Information and Computation (WoLLIC), Puebla, Mexico, “Negation and partial axiomatizations of dependence and independence logic revisited”
April 7-9, 2016, ALCOP VII, Vienna, Austria, "Structural Multi-type Sequent Calculus for Inquisitive Logic"
February 8-11, 2016, Logics for Social Behaviour 3, ETH Zürich, Switzerland, "Formalizing Arrow's theorem in logics of dependence and independence"
February 5, 2016, LIRa seminar, ILLC, Amsterdam, The Netherlands, "Dependence logic and Arrow's Theorem"
(invited) January 8, 2016, Logic Workshop, University of Johannesburg, South Africa, "Dependence-independence logics and Matthew effects"
December 15, 2015, Workshop on questions in logic and semantics, ILLC, Amsterdam, The Netherlands, "Propositional dependence logic"
August 3-8, 2015, Logic Colloquium 2015, Helsinki, Finland, "Some proof theoretical results on logics of dependence"
June 29 - July 3, 2015, Trends in Logic XV, Delft, The Netherlands, "Characterizing dependence and independence in social sciences (discussion session)"
June 21-26, 2015, Dagstuhl Seminar on Logics for Dependence and Independence, Germany, "Some proof theoretical results on logics of dependence"
June 21-26, 2015, Topology, Algebra, and Categories in Logic (TACL 2015), Ischia, Italy, "Structural completeness in logics of dependence"
May 19, 2015, Applied Logic Seminar, TU Delft, The Netherlands, "Propositional Dependence Logic"
January 30-February 2, 2015, Workshop on Admissible Rules and Unification II, Les Diablerets, Switzerland, "Admissible Rules of Propositional Dependence Logic"
October 22, 2014, PIIA seminar, Utrecht, The Netherlands, "Propositional dependence logic"
March 3-5, 2014, KNAW Colloquium on Dependence Logic, The Royal Netherlands Academy of Arts and Sciences (KNAW), Amsterdam, The Netherlands, "Axiomatizing propositional dependence logic"
November 15, 2013, Finite Model Theory Seminar, University of Helsinki, Finland, "Negation, substitution and uniform definability of connectives in propositional dependence logic"
June 17, 2013, Workshop on Inquisitive Logic and Dependence Logic, University of Amsterdam, The Netherlands, "Propositional dependence logic and its variants"
February 10-15, 2013, Dagstuhl Seminar-- Dependence Logic: Theory and Applications, Schloss Dagstuhl, Germany, "Uniform definability in propositional dependence logic"
November 21, 2012, Logic Seminar, University of Helsinki, Finland, "Axiomatizing propositional dependence logic, propositional independence logic and their variants"
September 22, 2012, Workshop on Dependence Logic and Strategic Reasoning, University of Amsterdam, The Netherlands, "Propositional and Modal Intuitionistic Dependence Logic"
July 12-18, 2012, Logic Colloquium 2012, University of Manchester, UK, "Implications in Dependence and Independence Logic"
May 4, 2012, Finite Model Theory Seminar, University of Tampere, Tampere, Finland, "Modal Intuitionistic Dependence Logic"
March 26-30, 2012, Logical Approaches to Barriers in Complexity II, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, "Model Checking for Modal Intuitionistic Dependence Logic"
January 4-5, 2012, Matematiikan Päivät (Mathematics Days), Lappeenranta University of Technology, Finland, "Modal Intuitionistic Dependence Logic"
November 9, 2011, Logic Seminar, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland, "Propositional Intuitionistic Dependence Logic"
September 26-30, 2011, Ninth International Tbilisi Symposium on Language, Logic and Computation, Kutaisi, Georgia, "Model Checking for Modal Intuitionistic Dependence Logic"
September 15-18, 2011, LogICCC Final Conference, Berlin, Germany, "Implications in Team Semantics Setting"
May 13, 2011, Finite Model Theory Seminar, Department of Mathematics and Statistics, University of Tampere, Tampere, Finland, "Model Checking for Modal Intuitionistic Dependence Logic"
April 4, 2011, Logic Seminar, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland, "Intuitionistic Implication, Modal Dependence Logic and Full Binary Trees"
December 3-18, 2010, Student Session of Sino-European Winter School in Logic, Language and Computation (SELLC 2010), Guangzhou, China, "Definability in Intuitionistic Dependence Logic"
August 16-20, 2010, Workshop on Dependence and Independence in Logic (ESSLLI 2010), Copenhagen, Denmark, "Expressing Second Order Sentences in Intuitionistic Dependence Logic"
April 28, 2010, Logic Seminar, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland, "Intuitionistic Dependence Logic"
March 31, 2010, Finnish-Sino Workshop on Logic & Cognition, Department of Philosophy, University of Helsink, Helsinki, Finland, "Intuitionistic Dependence Logic"
November 7-9, 2009, First Workshop of the DepLog Group of LINT, Stockholm, Sweden, "Intuitionistic Dependence Logic"
October 6-11, 2009, LORI-II (LogICCC Meets China), Chongqing, China, "Universal Models of NNIL Formulas"
August 5-10, 2008, BLAST, University of Denver, Denver, USA, "An Alternative Proof of Jankov's Theorem on KC"
August 5-9, 2007, Workshop on Logic, Rationality and Interaction (LORI), Beijing, China, "Operations on Intuitionistic Descriptive Frames and Duality Theorems"
April 18, 2007, An Afternoon on Intuitionistic Logic, ILLC, University of Amsterdam, Amsterdam, The Netherlands, "Operations on Intuitionistic Descriptive Frames and Duality Theorems"