21 Oct 2022
Madrid, Spain
WORKSHOP Higher-Level Dimensions in Logic TIME AND PLACE: October 21st, 2022 Department of Logic and Theoretical Philosophy Complutense University of Madrid Philosophy Building A, Room 215 SCHEDULE: 10:00–11:15: María Manzano (University of Salamanca), Antonia Huertas (Open University of Catalonia) and Manuel Martins (University of Aveiro), “Hybrid Partial Type Theory” coffee break 11:45–13:00: Rafał Gruszczyński (Nicolaus Copernicus University in Toruń), “Higher-Order Constructions in Geometry” lunch 14:30–15:45: Pilar Terrés (University of Salamanca), “Logical Connectives As Punctuation Marks in Substructural Logics” 15:45–17:00: Kordula Świętorzecka and Marcin Łyczak (Cardinal Stefan Wyszyński University in Warsaw), “The Second-Order Theory of Predicative Changes. Basics and Perspectives” coffee break 17:30–18:45: Patrick Blackburn (University of Roskilde), “Higher-Order Logic in the Philosophy of Arthur Prior” aperitif and dinner REGISTRATION: There are no registration fees, but if you would like to attend please let Elia Zardini know at ezardini@ucm.es -- Dr Víctor Aranda Assistant Professor Department of Logic and Theoretical Philosophy Complutense University of Madrid -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam