Last update: June 2024
Mail to V.Goranko
Classical Logic
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
Logic in Computer Science and Artificial Intelligence
September - November 2024
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
July 15-19, 2024
Logic-Based Specification and Verification of Multi-Agent Systems, course given at the
2nd European Summer School on Artificial Intelligence, ESSAI 2024, Athens, July 15-26.
July 29 - August 2, 2024
Games Logicians Play , course given at
ESSLLI 2024, Leuven, July 29 - August 9, 2024
August 5-9, 2024
Logics for strategic reasoning about rational agents in social context, course given at
ESSLLI 2024, Leuven, July 29 - August 9, 2024
September 3-5, 2024
Logics for strategic reasoning about strategic abilities of socially interacting rational agents , tutorial given at Al Spring Summer School 2, Lago di Como, September 2-6, 2024
July 31 - August 4, 2023
First-order Modal and Temporal Logics
course given at
ESSLLI 2023
July 20, 2021
Logic-Based Specification and Verification of Strategic Abilities in Multi-Agent Systems
Tutorial given online at
the 22nd European Agent Systems Summer School, EASSS 2021
July 26-30, 2021
Temporal Logics
course given online at
ESSLLI 2021
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
