Theory, Equivalence, and Interpretation in Logic, Mathematics, and Science
(August 1st 2024, University of Bristol)
Description
This conference brings together scholars focused on formal theories in logic, mathematics and the sciences.
Date: 1st August 2024
Location: Room 2.04, Fry Building, University of Bristol https://maps.app.goo.gl/mLzyCor6prYHvNq99
How to get here: https://www.bristol.ac.uk/maps/directions/
Contact: will.stafford@bristol.ac.uk
Funding provided by: the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 101024393.
Part of the PTS Network. Participants can join for updates on activities on Proof-Theoretic Semantics here.
Registration
Click here to register for attendance. (Registration is free but needed for catering numbers.)
Schedule (All times in BST)
11am Introduction and Coffee
11:30am Sam Clark The Biggie Smalls Problem in Infant Number Research
12:10pm Lunch
1:30pm David Freeborn Effective Theories as a form of Algorithmic Compression
2:20pm Elenor March On some examples from first-order logic as motivation for categorical equivalence of KPMs
3pm Break
3:30pm Stella Moon Intended Interpretations and Justifications of Logical Rules
4:20pm TBA
6:30pm Dinner and drinks at ZeroDegrees