The course consists of eight talks, covering a wide range of topics. The following is the titles and speakers of the first five talks. 

The first talk 

Title： On the Logic of Vector Space Models

Speaker： Hannes Leitgeb is Chair of Logic and Philosophy of Language at LMU Munich, where he also co-directs the Munich Center of Mathematical Philosophy.

The second talk

Title： Rethinking Epistemic Logic with Belief Bases

Speaker：  Emiliano Lorini is a senior researcher ("directeur de recherche") at the Centre National de la Recherche Scientifique (CNRS), co-head of the LiLaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT).

The third talk

Title： Counterfactuals in stit with action types

Speaker： Eric Pacuit is an associate professor in the Department of Philosophy at the University of Maryland. 

The fourth talk

Title： Reasoning and Completeness in Hybrid Logic

Speaker：Patrick Blackburn is a professor of philosophy at Roskilde University (RUC) in Denmark. 

The fifth talk

Title： On Game Logics

Speaker：Sujata Ghosh is an Associate Professor at the Computer Science Unit of the Indian Statistical Institute, Chennai (ISI, Chennai).