Top

Teaching cources

Last update: February 2021
Mail to V.Goranko

Undergraduate courses

Forthcoming

Philosophical Logics I
March - June 2021

Classical Logic
September - November 2021

Current

Experience

Philosophical Logics

Logic and set theory

Discrete Mathematics

Calculus

Advanced calculus

Abstract analysis

Linear algebra

Analytic geometry

Complex analysis

Design and analysis of algorithms

Software development project course

Graduate courses

Forthcoming

Philosophical Logics II
September - November 2021

Current

Experience

Logic in Computer Science and Artificial Intelligence

Mathematical logic

Universal algebra and model theory

Set theory

Topology

Discrete mathematical structures

Modal and temporal logics

Mathematical foundations of computer science

Logic in computer science

Logic in artificial intelligence and multi-agent systems

Logic in computer science and artificial intelligence

Logic in computer science, artificial intelligence and multi-agent systems

Philosophical Logics

Postgraduate summer school courses

Forthcoming

August 10-14, 2021
Temporal Logics
course to be given at ESSLLI 2021, Utrecht, The Netherlands

Experience

August 12-16, 2019
Games Logicians Play
course given at ESSLLI 2019, University of Latvia, Riga

August 6-10, 2018
Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems
course given at ESSLLI 2018, Sofia University, Bulgaria

June 25-29, 2018
Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems
course given at NASSLLI 2018, Carnegie Mellon University, Pittsburgh, USA

June 18, 2018
Logics for strategic reasoning in multi-agent systems
tutorial given at the 20th European Agent Systems Summer School, EASSS 2018, Maastricht University

15-26 August, 2016
A Journey through the Possible Worlds of Modal Logic
course given at the 28th European Summer School in Logic, Language and Information (ESSLLI'2016), University of Bolzano-Bozen

August 3-14, 2015
Logical reasoning about knowledge, actions and abilities
course given at the 27th European Summer School in Logic, Language and Information (ESSLLI'2015), Universitat Pompeu Fabra, Barcelona, Spain

August 15-22, 2014
Games Logicians Play
course given at the 26th European Summer School in Logic, Language and Information (ESSLLI 2014), Tubingen

August 12-16, 2013
Logics for Multi-agent Systems and Strategic Reasoning
course given at the 25th European Summer School in Logic, Language and Information (ESSLLI 2013), Dusseldorf

August 1-5, 2011
Logics of knowledge and strategic abilities in multi-agent systems,
course given at the 23rd European Summer School in Logic, Language and Information (ESSLLI'2011), Ljubljana

August 8-12, 2011
Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities
course given at the23rd European Summer School in Logic, Language and Information (ESSLLI'2011), Ljubljana

July 20-31, 2009
Temporal Logics for Specification and Verification
course given at the21St European Summer School in Logic, Language and Information (ESSLLI'2009) Bordeaux

August 4-15, 2008.
Interval temporal logics
co-presented with Angelo Montanari at the 20th European Summer School in Logic, Language and Information (ESSLLI'2008) Hamburg

August 6-10, 2007
Temporal logics and verification of infinite-state systems
co-presented with Stephane Demri at the 19th European Summer School in Logic, Language and Information (ESSLLI'2007), Dublin, Ireland

July 31-August 12, 2006
Logic and Computation in Finitely Presentable Infinite Structures
co-presented with Sasha Rubin at the 18th European Summer School in Logic, Language and Information (ESSLLI'2006), Malaga, Spain

July 31-August 12, 2006
Modal Logics for Multi Agent Systems
co-presented with Wojtek Jamroga at the 18th European Summer School in Logic, Language and Information (ESSLLI'2006), Malaga, Spain

August 2000
Temporal logics of computations
lecture notes (currently, under major revision) for a course presented at the 12th European Summer School on Logic, Language and Information (ESSLLI'2000) in Birmingham