Leeds Computability Days 2024:
Computability, Reverse Mathematics, and Topology
02–05 July 2024
University of Leeds
Leeds, UK
Warning: Please be aware of recent scams targeting academic conferences. Do not give any information to anyone claiming to arrange your travel and/or accommodation on behalf of the organizers.
LCD 2024 registration
Registration for LCD 2024 is required. The fee is £40. The deadline is 21 June 2024.
(Setting a registration fee is a prerequisite for support from the London Mathematical Society).
Please register here by 21 June 2024.
(The ‘contact number’ field in the registration form is a little difficult. Please enter a phone number as a string of digits without spaces, parentheses, or any other punctuation.)
LCD 2024 invited speakers
- Heidi Benham (University of Connecticut)
- Damir Dzhafarov (University of Connecticut)
- David Fernández-Duque (University of Barcelona)
- Johanna Franklin (Hofstra University)
- Emanuele Frittaion (University of Leeds)
- David Gonzalez (University of California, Berkeley)
- Ellen Hammatt (Victoria University of Wellington)
- Rupert Hölzl (Bundeswehr University Munich)
- Mathieu Hoyrup (University of Lorraine / LORIA)
- Katarzyna Kowalik (University of Würzburg)
- Arno Pauly (Swansea University)
- Dino Rossegger (TU Wien)
- Sam Sanders (Ruhr University Bochum)
- Yudai Suzuki (NIT, Okinawa College)
- Dan Turetsky (Victoria University of Wellington)
- Patrick Uftring (University of Würzburg)
- Alice Vidrine (University of Wisconsin–Madison)
- Shuwei Wang (University of Leeds)
- Keita Yokoyama (Tohoku University)
LCD 2024 program
- Long program (with abstracts)
- Short program (without abstracts)
Contact
The main organizer of LCD 2024 is Paul Shafer (University of Leeds). Please feel free to contact him with any questions!
Venue for LCD 2024
LCD 2024 will take place in Lecture Theatre D of the Chemistry Building on 02 July and in the MALL in the School of Mathematics on 03-05 July.
Tuesday, 02 July:
Lecture Theatre D
Chemistry Building
University of Leeds
To find Chemistry Lecture Theatre D, go through the main doors of the Chemistry Building on Woodhouse Lane. Lecture Theatre D is ahead to the left. (Map)
Wednesday, 03 July – Friday, 05 July:
MALL (Mathematics Active Learning Lab)
School of Mathematics (Level 8)
University of Leeds
To find the MALL, go in the main School of Mathematics entrance, which puts you in the reception area on Level 9. Go down the stairs to Level 8. The back entrance to the MALL is behind the stairs. (Map)
Accommodation in Leeds and tourist information for Leeds and Yorkshire
Visitors to the University of Leeds School of Mathematics commonly stay at the Ibis on Marlborough Street. It is about a 15-minute walk from Leeds Station and about a 20-minute walk from the University.
See www.visitleeds.co.uk for information on everything Leeds. The site also contains many accommodation options.
See www.yorkshire.com for things to do and see in Yorkshire.
Traveling to Leeds
Leeds is served by Leeds Bradford Airport (LBA) and by Manchester Airport (MAN). There is a train station at Manchester airport. Travel to and from Leeds Bradford Airport is by bus or taxi.
Travelers outside Europe and the UK may also want to consider flying to London Heathrow (LHR) and taking the train up to Leeds. The typical journey from Heathrow to Leeds involves taking the London Underground to London King’s Cross, then taking the London North Eastern Railway (LNER) to Leeds. Book your trains between King’s Cross and Leeds well in advance because they are very expensive on the spot!
See www.nationalrail.co.uk for train timetables.
ASL sponsorship and student travel awards
Leeds Computability Days 2024 is a sponsored meeting of the Association for Symbolic Logic. Student members of the ASL may apply for modest travel awards by following the instructions at https://aslonline.org/student-travel-awards/. Two key points are:
- Students must be members of the ASL to apply for travel awards for LCD 2024
- Student travel award applications must be received by 31 March 2024.
If you are not a member of the ASL, then please become one!
Acknowledgments
Leeds Computability Days 2024 is partially supported by EPSRC via EP/T031476/1 (PI: Paul Shafer). LCD 2024 is also sponsored by the London Mathematical Society, the Association for Symbolic Logic, and the University of Leeds School of Mathematics.
Photo
