Skip to main content
University links
University links
For staff
For Staff
Services A-Z
Student Education Service
For students
Minerva
Mobile app
For Students
Faculties
Faculty of Arts, Humanities and Cultures
Faculty of Biological Sciences
Faculty of Business
Faculty of Engineering and Physical Sciences
Faculty of Environment
Faculty of Medicine and Health
Faculty of Social Sciences
Lifelong Learning Centre
Language Centre
Other
Staff A-Z
Campus map
Jobs
Alumni
Contacts
Library
IT
VideoLeeds
Leeds University Union
Follow us
Facebook
Twitter
YouTube
LinkedIn
Instagram
Medium
Weibo
The Conversation
RSS news feed
Close quicklinks
Search
Destination
Workshop on Categorical Logic and Univalent Foundations site
All University of Leeds content
Search
Workshop on Categorical Logic and Univalent Foundations
Menu
Close
Home
Programme
Participants
Contact
Home
Contact
Contact
Scientific Committee
Thorsten Altenkirch
Conor McBridge
Nicola Gambino
Neil Ghani
Organizers
Nicola Gambino
Christian Sattler
Andrew Swan