Some Refereed Talks:

Learning Action Models: Qualitative Approach, The 5th International Conference on Logic, Rationality and Interaction, Taipei, Taiwan, 2015 (upcoming).

Learning Natural Language Semantics Through Coordination, 15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS), Helsinki, Finland 2015 (upcoming).

Collective Learning in Games through Social Networks, The 1st International Workshop on Social Influence Analysis co-located with 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, 2015 (upcoming).

On the Solvability of Inductive Problems: A study in Epistemic Topology, 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Carnegie Mellon University, Pittsburgh, PA, USA 2015.

Logical and Psychological Analysis of Deductive Mastermind, Logic and Cognition Workshop, ESSLLI, Opole 2012.

On the Complexity of Conclusive Update, 26th International Symposium on Computer and Information Sciences, London 2011.

Invariance Properties of Quantifiers and Multi-agent Information Exchange, 12th Meeting on Mathematics of Language, Nara 2011.

A Note on a Generalization of the Muddy Children Puzzle, 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen 2011.

Belief Revision as a Truth-Tracking Process, 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen 2011.

Inductive Inference and Epistemic Logic. An Overview, 18th Workshop on Logic, Language, Information and Computation, Philadelphia 2011.

Muddy Children, Generalized Quantifiers and Internal Complexity, 4th Indian Conference on Logic and its Applications, Delhi 2011.

Muddy Children Playground, Logic, Rationality and Intelligent Interaction, ESSLLI 2010 Workshop, Copenhagen.

Learning and Teaching as a Game: A Sabotage Approach (with Lena Kurzen and Fernando R. Velázquez-Quesada), 2nd International Workshop on Logic, Rationality and Interaction 2009, Chongqing 2009. SLIDES

Can Doxastic Agents Learn? On the Temporal Structure of Learning, 2nd International Workshop on Logic, Rationality and Interaction 2009, Chongqing 2009. SLIDES

Variations on Sabotage: Obstruction and Cooperation, GAMES Workshop, Udine 2009.

Games for learning: a sabotage approach, Formal Approaches to Multi-Agent Systems (FAMAS), Torino 2009.

Learning as Interaction, Logical Methods for Social Concepts Workshop, European Summer School in Logic, Language and Information (ESSLLI), Bordeaux 2009.

Learning by Erasing in Dynamic Epistemic Logic, 3rd International Conference on Language and Automata Theory and Applications, Tarragona 2009. SLIDES

On the Logic of Inductive Inference, Szklarska Poreba Workshop, Szklarska Poreba 2009.

Towards a Game-theoretical and Logical Approach to Learning, Szklarska Poreba Workshop, Szklarska Poreba 2009.

Identification through Inductive Verification: Application to Monotone Quantifiers. Workshop on Logic and Intelligent Interaction, European Summer School for Logic, Language and Computation, Hamburg 2008. SLIDES

Computational Epistemology for Quantifiers, Seventh International Tbilisi Symposium on Logic, Language and Computation, Tbilisi 2007. SLIDES

Hintikka's Thesis Revisited, Logic Colloquium 2006, Nijmegen 2006.

Empirical evidence for Hintikka's Thesis. The notion of computational complexity in psycholinguistics, 14th Annual Meeting of European Society of Philosophy and Psychology, Belfast 2006.

The Problem of Quantifiers Learning, 13th Annual Meeting of European Society of Philosophy and Psychology, Lund 2005.



Invited talks:

Invited lecture on Learning and Games at LABEX CIMI Pluridisciplinary Workshop on Game Theory, Toulouse, France, November 2015 (upcoming).

Invited lecture at Entia et Nomina V Workshop, Jagiellonian University, Krakow, Poland, September 2015 (upcoming).

Learning in the Limit, General Topology and Modal Logic (with a tutorial on Formal Learning Theory), 22nd Workshop on Logic, Language, Information and Computation (WoLLIC), Bloomington, USA, July 2015.

Investigating human reasoning through the lens of logic and games, Modeling Minds Workshop, Donders Institute for Brain, Cognition and Behaviour, Nijmegen, April 2015.

On Topological Logic of Learning, Philosophy Department Seminar, Carnegie Mellon University, Pittsburgh, USA, February 2015.

Improving logic education through games in a massively used online learning system. A proof-theoretic approach, Creative Mathematical Sciences Communication, The Institute of Mathematical Sciences (IMSc), Chennai, December 2014.

Belief and Learning: A Topological Perspective, Synthese Conference on Qualitative and Quantitative Methods in Formal Epistemology, ILLC, Amsterdam, November 2014.

Invited talk at Ren\'e Descartes Lectures, Tilburg University, The Netherlands, October 2014.

Epistemic Topology: A Topological Characterization of Limiting Solvability, The China-Amsterdam Workshop on Logical Dynamic of Information, Agency, and Interaction, Amsterdam, The Netherlands, October 2014.

Problem Solving in a Massive Online Education System: A Case of Interdisciplinary Research, Resource Bounded Problem Solving Seminar, Dagstuhl, August 2014.

Learning, Truth tracking, and Belief Revision, nuSVN Seminar, Nuance Corporation, Sunnyvale, CA, USA, June 2014.

A Basis for Logical Approach to Learnability: Computational Learning Theory meets Epistemic Logics, 3rd CSLI Workshop, Stanford University, USA, June 2014.

Logic and Learning: An empirical test in a massively used online learning system, TiLPS Colloquium, Tilburg, The Netherlands, March 2014.

A logical model for Deductive Mastermind: Empirical test in an adaptive online learning system, AlgoLog Seminar, DTU, Copenhagen, Denmark, March 2014.

Logic and Learning: An Interdisciplinary Account, Faculty of Science Colloquium, University of Amsterdam, The Netherlands, February 2014.

Learning Theory, Knowledge Update, and Belief Revision, LogiCIC Workshop, Amsterdam, The Netherlands, December 2013.

A logical model for Deductive Mastermind empirically tested with a massively used online learning system, Artifi cial Grammar Learning Workshop, Tuebingen, Germany 2013.

Computability and Efficiency in Learning An Ockham's Razor Account, Studia Logica International Conference, Trends in Logic XII: The Logic of Simplicity, Carnegie Mellon University, USA 2013.

Convergence to knowledge. A logical perspective, Modality and Modalities, Copenhagen, Denmark 2013.

Logic, Computation, and Cognition, Nordic Spring School in Logic, Sophus Lie Conference Center, Nordfjordeid, Norway 2013.

Using Logic to Explain Children Performance and Learning in Deductive Games, Guest Lecture at Games and Learning course, Amsterdam University College, 2013.

Truth-tracking and Belief Revision, Centre for Logic and Philosophy of Science of Ghent University, Ghent 2013.

Truth-tracking and Belief Revision, Amsterdam Workshop on Truth, Amsterdam 2013.

Conclusive Update and Computability, GroLog Seminar, Groningen 2012.

On the Computational Properties of Finite Identifiability, XIII Logical Workshop "Truth - Complexity - Language", Łowicz, September 29th 2012.

Using Proof Theory to Explain Children Performance in Deductive Games, Reasoning and Interaction at NASSLLI (RAIN), Austin, June 24th 2012.

Inductive Inquiry via Belief Revision, Interrogative Model of Inquiry Seminar (IMI), IHPST, Paris, May 24th 2012.

Iterated Belief Revision in the Limit, GIRL'12@LUND, 1st Conference on Games, Interactive Rationality and Learning, Lund 2012.

On the Efficiency of Finite Identification, Seminar of The Department of Computation Theory, Faculty of Mathematics and Computer Science of A. Mickiewicz University, Poznań 2012.

Getting to Know. A Strategic Perspective, Lorentz Center Workshop on Modeling Strategic Reasoning, Leiden 2012.

A commentary on: Sincerity and Manipulation under Approval Voting by Ulle Endriss, Lorentz Center Workshop on Modeling Strategic Reasoning, Leiden, The Netherlands 2012.

Learning-theoretical Analysis of Iterated Belief Revision, Special Session on Learning Theory, Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2012.

Quantifiers and Learnability, 3rd Workshop on Semantic Processing, Logic and Cognition, Tuebingen 2011.

Computational Learning Theory and Epistemic Logic, 2nd Entia et Nomina Workshop, Gdańsk 2011.

Logic and Cognition, Logic and Philosophy Today, Delhi 2011.

Believing in Formal Learning Theory, 19th Games, Logic, Language, and Computation: Learning and Knowledge Change, Amsterdam 2010.

Truth Tracking and Belief Revision. Doxastic Logic Meets Learning Theory. Logic, Language, and Mind Seminar, Stockholm 2010.

What makes a good teacher? A Computational Study, Logic Tea, Institute for Logic, Language and Computation, Amsterdam 2009.

Learning the Semantics of Some Natural Language Constructions, PALMYR-V, Paris 2007. SLIDES



Public events:

Wat is Logisch? (What is Logical? A lecture in Dutch for children age 8-12), Wakker Worden Kinderlezingen, Science Center NEMO, Amsterdam 2011.



Some seminar talks:

Invariance Properties of Quantifiers and Multi-agent Information Exchange, LeGO Seminar, Institute for Logic, Language and Computation, Amsterdam 2012.

Using Proof Theory to Explain Children Performance in Deductive Games, Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2012.

Learning-theoretical Analysis of Iterated Belief Revision, Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2012.

Inductive Inference and Epistemic Logic, Multi-agent Systems Group Meeting, Artificial Intelligence, University of Groningen, Groningen 2011.

Static Mastermind in Rekentuin. A computational, logical, and cognitive perspective, Code-P Seminar, Psychology Department, University of Amsterdam, Amsterdam 2010.

Games for Learning: A Sabotage Approach, Mini-Workshop, Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2009.

Can Doxastic Agents Learn? On the Temporal Structure of Learning, Mini-Workshop, Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2009.

What makes a good teacher? A Computational Study, Logic Tea, ILLC, Amsterdam 2009. SLIDES

A Brief Introduction to Formal Learning Theory, Introductory Lecture at Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2009.

The New Eleusis, Working Session of Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2008.

On the Dynamics of Inductive Inference, Logic and Interactive Rationality Seminar, Institute for Logic, Language and Computation, Amsterdam 2008.

Experimenting with Some Non-Fregean Quantifier Combinations (with J. Szymanik), Logic, Language, and Reasoning Seminar, Amsterdam 2008. SLIDES

Model-Theoretic Learning (in Polish, Wyuczalność w Teorii Modeli), Cognitive Science Forum, Warsaw 2008.

Introduction to Learning Theory (in Polish, Wstęp do Teorii Wyuczalności), Cognitive Science Forum, Warsaw 2007.

Home