1.
(Forthcoming) Invited lecture at the NII Shonan Meeting on "Reasoning about Information Aggregation", Tokyo, Japan, October 2026.
2.
(Forthcoming) Invited lecture at the Workshop on Attention in AI and Logic, Univ. of Copehagen, Denmark, September 2026.
3.
(Forthcoming) Invited lecture at the 4th Conference on the Foundations of Quantum Computing, UCL. London UK, September 2026.
4.
Invited lecture at CELT 2026 (International Workshop on Epistemic Logic and Topological Perspectives on Distributed Computing), LIX and I RIF (CNRS and Universite Paris Cite), Paris, June 2026.
5.
Invited keynote speaker at LuxLog AI 2025 (Luxembourg Logic & AI Summit), December 2025.
6.
Invited keynote lecture at DaLi 2025, The 6th Workshop on Dynamic Logic – New Trends and Applications, Shaanxi Normal University, 2025.
7.
Invited lecture at the workshop on Reasoning about Quantification and Modalities, Department of Philosophy at CEU, Vienna, 19-19 September 2025.
8.
Invited lecture at the 6th Taiwan Philosophical Logic Colloquium, 23-25 October 2025, Taipei, Taiwan.
9.
Invited talk at the Online Workshop HML 2.0 (Handbook of Modal Logic authors’ workshop), July 2025.
10.
Invited lecture at 2025 North American Annual Meeting of the ASL, Special Session on Modal Logic, New Mexico State University, May 2025.
11.
Invited speaker at LeaLog@CSL 2025 (Workshop on Learning and Logic), Amsterdam, February 2025.
12.
Invited talk at the 1st GALAI Workshop (``General Algebra, Logic and Artificial Intelligence”), Chapman University, January 2024.
13.
Invited lecture at the PFEW (Pittsburgh Formal Epistemology Workshop), CMU, March 2024. Online talk.
14.
Invited presentation at the Zheng Gang Fellow ceremony presentation, Tsinghua University, China 23 April 2024.
15.
Invited presentation, Philosophy-and-Logic Seminar, Peking University, China, May 2024.
16.
Invited presentation, Philosophy Seminar, ECNU Campus, Shanghai, China, May 2024.
17.
Two invited lectures at special sessions of the Computability in Europe (CiE) conference, AUC, Amsterdam, June 2024.
18.
Invited keynote lecture at Advances in Modal Logic conference (AiML), August 2024.
19.
Invited lecture at the Annual VvL Seminar. Eindhoven, December 2024.
20.
Invited presentation at the workshop on ‘European traditions of philosophy science: unexpected varieties’, University of Bucharest, Romania, 1-4 May 2023.
21.
Invited presentation at the Dagstuhl Seminar 23272 on Epistemic and Topological Reasoning in Distributed Systems, 2-7 July 2023, Dagstuhl, Germany.
22.
Invited DIEP seminar talk, Institute for Advanced Study, Amsterdam, 19 October 2023.
23.
Invited presentation, Euphilo WiP Seminar, 1 December 2023.
24.
Online surprise Workshop in celebration of Alexandru Baltag’s Birthday, January 2022.
25.
Invited online lecture at the SOCREAL, 6th International Workshop on Philosophy and Logic of Social Reality Conference 2022, Japan 2022.
26.
Invited talk at the Logic Salon, Humanities, Tsinghua University, April 2022.
27.
Invited online lecture at the Social Logic 2022 conference, Dolomiti, Italy, 17-21 August 2022
28.
Invited lecture at GEOTOP-A (Seminar Series on Applications of Geometry and Topology), UNAM, Mexico. Title ``The Topology of Knowing”. Online presentation, September 2022.
29.
Invited talk at the Nordic Online Logic Seminar, December 2022.
30.
Invited lecture at Logic Colloquium (LC 2021), the Epistemic and Modal Logic Special Session. Adam Mickiewicz University, Poznan, Poland, 2021
31.
Invited lecture at the international conference on Logic, Quantum Computing and Artificial Intelligence (LQCAI 2021), Xiamen University Malaysia, 2021
32.
Invited lecture at ESSLLI Workshop on Logics of Dependence and Independence, Utrecht, August 2020.
33.
Invited lecture at the International Workshop on Quantum and Beyond, Amsterdam-Florence, April 2020.
34.
Invited Lecture at the project on Circularity and Social Norms, Florence, October 2019.
35.
Invited Lecture at TbiLLC 2019 (Thirteenth International Tbilisi Symposium in Language and Computation), Tbilisi, September 2019.
36.
Invited Lecture at IACAP 2019 (The Annual Meeting of the International Association for Computing and Philosophy), Mexico City, June 2019.
37.
Invited Lecture at the Second Workshop on Formal Methods and AI (FMAI 2019), Rennes, May 2019.
38.
Workshop on Logics for the Formation and Dynamics of Social Norms (LFDSN 2019), Zhejiang University, Hangzhou, China, May 2019.
39.
Workshop on Rational Agency and Logic, Stockholm University, November 2018.
40.
IBM-QuantaLab Quantum Computing Workshop, INL (International Nanotechnology Laboratory), Universidade de Minho, Braga, Portugal, October 2018.
41.
Workshop on Logic, Information and Topology, Center for Formal Epistemology, Carnegie Mellon University, October 2018.
42.
10th Conference on Applications of Algebraic Topology in Computer Science and Data Analysis (GETCO’18), Oaxaca, September, 2018. (Invited talk, but eventually canceled due to illness.)
43.
Colloquium of the Royal Netherlands Academy of Arts and Sciences on Reasoning in Social Context, Amsterdam University, May-June 2018
44.
Workshop on Algebra and Duality in Non-Classical Logic, Amsterdam University, June 2018
45.
Workshop on Applied Category Theory, Lorentz Center, Leiden, April-May 2018. Logic, Rationality and Common Sense (Workshop on the occasion of Jan van Eijck’s retirement), CWI, Amsterdam, June 2017.
46.
The 6th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford University, June 2017.
47.
Workshop on Modality and Method, Center for Formal Epistemology, Carnegie Mellon University, Pittsburgh, June 2017.
48.
TACL 2017 (Conference on Topology, Algebra and Categories in Logic), Charles University, Prague, June 2017
49.
FROM (Workshop on Formal Methods in Computer Science), Bucharest University, July 2017.
50.
DaLi Workshop (Dynamic Logic: trends and applications), Brasilia, Brazil, September 2017.
51.
SEGA Workshop (From Shared Evidence to Group Attitudes), Prague, October 2017.
52.
Hintikka Memorial Conference, Helsinki, September 2016.
53.
Van Fraassen Festival, Utrecht University, December 2017. LogiCIC Workshop, Amsterdam, November 2016.
54.
Workshop ``From Shared Evidence to Group Attitudes” (SEGA), Prague, September 19-21, 2016.
55.
Hintikka Memorial Conference, Helsinki, September 2016.
56.
CLMPS-affiliated (to conference on ``Logic, Methodology and Philosophy of Science”) workshop on ``The Logical Structure of Correlated Information Change , Helsinki, August 2016.
57.
International Workshop on ``Topological Methods in Logic” 5 (ToLO V), Tbilisi, June 13-17, 2016.
58.
CADILLAC Workshop (of the Copenhagen Association for Dynamics, Interaction, Logic, Language and Computation), Copenhagen, May 2016.
59.
Workshop “Logical Dynamics of Social Influence and Information Change”, Amsterdam, March 2016.
60. Colloquium on "Information Flow in a Social World", Tsinghua University, Beijing , October 2015.
61. Workshop on Logic and Probability (``Bridges 2”), Rutgers University, September 2015.
62. LogiCIC workshop Amsterdam, November 2015.
63. FOI-2015. Workshop on Foundations of Informatics, Chisinau, Republic of Moldova, August 24-20, 2015.
64. LogiCIC workshop at The 15th Congress on Logic, Methodology and Philosophy of Science (CLMPS), August 5th, 2015. Helsinki, Finland.
65. The 2nd International Conference on Logic, Relativity and Beyond, Budapest, Hungary, 2015.
66. CIE affiliated workshop, Romania June 2015.
67. Amsterdam Quantum Logic Workshop 2015.
68. Second Belgrade graduate conference in philosophy and logic, Serbia, April 24-26, 2015.
69. Workshop on Categories and Quantum Mechanics, Barbados, (McGill university), March 15-19, 2015.
70. LogiCIC workshop Amsterdam November 24-26, 2014.
71. Synthese Conference on Qualitative and Quantitative Methods in Formal Epistemology, 20 and 21 November 2014, Amsterdam.
72. Lille Workshop France, November 2-3, 2014.
73. Invited Commentary on Descartes Lecture, Tilburg NL, October 2014.
74. The Trends in Logic workshop Presenting the Tsinghua-UvA Joint Research Center, Tsinghua University, July 2nd, 2014.
75. Workshop at the Pacific division of the American Philosophical Association meeting in San Diego, April 16-20, 2014.
76. Amsterdam Quantum Logic Workshop, April 2014
77. International Workshop on Unawareness, Brisbane, Australia, January 2014.
78. Commentaries presented at the workshop Logic Across the University, Foundations and Applications, Tsinghua University, October 2013, China.
79. LogiCIC project workshop on Social Dynamics of Information Change, Amsterdam, December 2-4, 2013.
80. Workshop on Game Theory, Epistemic Logic and Related Topics, August 2013. Tsukuba, Japan.
81. Studia Logica Conference on Simplicity and the Logic of Belief Revision, CMU, Pittsburgh, June 2013
82. LoQI, the 2nd workshop on Questions and Inquiry, Paris. May-June 2013.
83. International Workshop on Philosophy and Logic, Kyiv, Ukraine, May 2013..
84. Second Conference on Games, Interactive Rationality and Learning, Lund, Sweden, April 2013.
85. Workshop at the Meeting of the Society for the Advancement of Economic Theory in Paris, 2013.
86. LogiCIC workshop on Belief Change in Social Context, Amsterdam, Dec 14-15th, 2012
87. International Workshop on Game Theory, Epistemic Logic and Related Topics, Japan, August 2012.
88. Eighth International Symposium of Cognition, Logic and Communication. Riga, Latvia, May 2012.
89. The Workshop on The Logic and Culture of Lying, Regensburg, Germany, May 2012.
90. Ninth International Tbilisi Symposium on Language, Logic, Computation, Kutaisi, Georgia, Sept. 2011.
91. 7th Conference on Logic, Game Theory and Social Choice, Bucharest, Romania, July 2011.
92. Episteme Conference ‘Social Epistemology meets Formal Epistemology’, CMU, Pittsburgh, June 2011.
93. The Synthese Conference on ``Epistemology and Economics", Columbia University, New York 15-16 April 2010.
94. The Workshop on ``Formal Models of Norm Change 2", University of Amsterdam, 18-19 January 2010.
95. The Workshop “Alternative Approaches to Belief Change”, part of ISLA 2010 (the Third Indian School on Logic and its Applications), university of Hyderabad, Gachibowli, India, January 2010.
96. Workshop on "Logical methods for social concepts (LMSC'09)", part of European Summer School on Logic, Language and Information ESSLLI 2009, 20-25 July, France, Bordeaux 2009.
97. Workshop on "Quantum Logic Inspired by Quantum Computation", Indiana University, Bloomington 11-12 Mei, 2009.
98. The Workshop on “Logic and Social Interaction”, part of ICLA 2009 (The Third Indian Conference on Logic and its Applications), Chennai, India, January 2009.
99. Studia Logica International Conference on ``Logic and the foundations of physics: space, time and quanta" (Trends in Logic VI). Brussels, Belgium, 11-12 December 2008.
100. International Colloquium on ``Logic of change, change of logic". Prague, Czech Republic, 10-14 September 2008.
101. 1st European Workshop on Correlations in Computer Science. Vielsalm, Belgium, 6-7 August 2008.
102. International Workshop ``Epistemology Meets Logic,Informally". Stanford University, May 31- June 1, 2008.
103. Workshop on Decisions and Games. Indiana University, Bloomington, Indiana. May 2008.
104. The 15th Workshop on Games in Logic, Language and Computation (GLLC - 15). University of Amsterdam, Amsterdam, The Netherlands. February, 2008.
105. International Symposium on Logic and Physics, Utrecht University, Utrecht, The Netherlands. January 2008.
106. The First International Workshop on the Philosophy of Information and Logic (PIL'07). Oxford University, Oxford, United Kingdom. 3-4 November 2007.
107. International Dagstuhl Seminar on Formal Models of Belief Change in Rational Agents (Dagstuhl Seminar no. 07351). Dagstuhl, Germany. 26-30 August 2007.
108. International Workshop on Logic, Rationality and Interaction (LORI'07). Beijing, China. 5-9 August 2007.
109. International conference on Dynamic Logics for Social Agents: new trends in Philosophical research. Montreal, Canada. 19-22 June 2007.
110. International Colloquim on New Perspectives on Games and Interaction. Netherlands' Royal Academy of Sciences, Amsterdam, The Netherlands. 5-7 January 2007.
111. International Colloquim on Games, Action and Social Software. Lorentz Center, Leiden University, Leiden, The Netherlands. 30 Oct.-3 Nov. 2006.
112. International Workshop on Modal Logic, Stone Duality and Coalgebras. Leicester University, Leicester, UK. 12-13 June 2006.
113. Series of invited lectures at the Workshop on Quantum Information, Computation and Logic:Exploring New Connections (QICL'05). Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada. July 2005.
114. Workshop on Philosophical Logic meets Mathematical Logic: from Classical to Quantum (PML'04), Free University of Brussels, Brussels, 5-7 February 2004.
115. Seminar on Logic and Informatics (SLI - 2003), Free University of Brussels, Brussels, March 31, 2003.
116. Second International Symposium on the Logic of Real - World Interactions (LORWI'03) National Japan Institute of Informatics, Tokyo, March 17-18, 2003.
117. Logic Colloquium (LC 2003, the main European Annual Meeting of the Association of Symbolic Logic), Helsinki, Finland, August 2003.
118. The First Workshop on Logic and Communication in Multi - Agent Systems (LCMAS 2003, a satellite of ICALP 2003), Eindhoven, The Netherlands, June 2003.
119. The 7th Workshop on Games in Logic, Language and Computation (GLLC'7), University of Amsterdam, The Netherlands, November 28, 2002.
120. The Euro Conference on "Applications of Mathematical Logic in Philosophy and Linguistics" (Foundations of the Formal Sciences II), Bonn, Germany, Nov 10-13, 2000.