Click on the course titles below for course descriptions.

Lecturer	Course
Bahareh Afshari	Temporal Logics in Computer Science
Gaia Belardinelli	Formal Models of Attention
Vaishak Belle	Logic meets Learning: Explanations and LLM-based symbolic executors
Patrick Blackburn	Worlds, Times and Things
Balder ten Cate	Logic, Data Examples and Learning