Logical Theories for Uncertainty and Learning, Master in Computer Science and Engineering, Technical University of Denmark (Fall 2016; 5ECTS).

Intentional Logic and Uncertainty, Bachelor of Artificial Intelligence course (2013-2015; 6ECTS), College of Science, University of Amsterdam.

Computability and Inductive Inference, course at: The North American Summer School in Logic, Language, and Information 2014 (NASSLLI 2014), University of Maryland, USA. Lecture Notes

Intentional Logic and Uncertainty, Bachelor of Artificial Intelligence course (first quarter of the academic year 2013/2014), College of Science, University of Amsterdam.

Belief Revision Meets Formal Learning Theory, course at: European Summer School in Logic, Language and Information 2013 (ESSLLI 2013), Düsseldorf, Germany.

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

Formal Learning Theory, Master of Logic course (third quarter of the academic year 2012/2013), Institute for Logic, Language and Computation, University of Amsterdam.

Formal Learning Theory and Epistemic Logic, (joint with Wojciech Buszkowski) course at: European Summer School in Logic, Language and Information 2012 (ESSLLI 2012), Opole, Poland.

Belief Revision Meets Formal Learning Theory, course at: The North American Summer School in Logic, Language, and Information 2012 (NASSLLI 2012), Austin, Texas, USA.

Logic, Information Flow, and Argumentation, Amsterdam University College, Amsterdam 2009-2010. web

Interacting Agents Processing Information, ILLC, Amsterdam 2009. web

Model-theoretic Learning, Cognitive Science Forum, Warsaw 2008. slides

Introduction to Formal Learning Theory, Logic and Cognitive Science Workshop, Szklarska Poreba 2007. slides

Logic, teaching assistance, Collegium Civitas, Warsaw 2006.

Logic, teaching assistance, Warsaw University 2006.

Philosophy, IB course in 20th Highschool of Jam Saheba Digvijay Sinhji, Warsaw 2006. SLIDES

Introduction to Logic and Computation, Collegium Invisibile Summer School 2005.

Mathematical Linguistics, Collegium Invisibile Summer School 2003.

Home