Leeds Computability Days 2024:
Computability, Reverse Mathematics, and Topology

02–05 July 2024
University of Leeds
Leeds, UK


LCD 2024 registration

The registration system will become available in the coming weeks.


LCD 2024 invited speakers


LCD 2024 program

Coming soon!


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

School of Mathematics
University of Leeds


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:

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 Association for Symbolic Logic.