Click on the course titles below for course descriptions.

Lecturer	Course
Bahareh Afshari	TBA
Gaia Belardinelli	Formal models of attention
Vaishak Belle	Logic meets Learning: Explanations and LLM-based symbolic executors
Patrick Blackburn	TBA
Balder ten Cate	Logic, Data Examples and Learning