Logic List Mailing Archive

CfP: Computable90 – 90 Years of Turing’s “Computable Numbers”, 16–18 September 2026, Bletchley Park (UK)

Computable90 Conference
Bletchley Park, 16-18 September 2026

https://www.tnmoc.org/computable90-conference

The National Museum of Computing and the London Mathematical Society are honoured to be able to facilitate a major international conference on the ideas and influences prompted by Alan Turings ground-breaking 1936 paper published in the Proceedings of the LMS. The worlds leading research mathematicians, philosophers and thinkers  all working in fields which have arisen from the original Computable Numbers idea back in 1936  will present their work and explain how ideas imagined 90 years ago have relevance today.

In 1936, Alan Turings seminal paper On computable numbers, with an application to the Entscheidungsproblem was published by the London Mathematical Society. Ninety years on, the significance of the work done by Turing remains undiminished. It occupies a unique position of ongoing relevance in the fields of symbolic logic, number theory, problem complexity, computer science and more. In wider social terms, its impact on the development of computing is without parallel.

The Computable 90 initiative includes a strong focus on Academic Engagement, with a dedicated Conference element. This is intended to foster high-level discussion and increase public understanding of Alan Turing's enduring influence in computer science. The project is built around celebrating the 90th anniversary of Turing's ground-breaking 1936 paper on computability, which laid the foundations for modern computing. 
This academic focus ensures that discussions remain relevant to cutting-edge research and the ongoing significance of his work. About the conference

The conference will take place on 16-18 September 2026, bringing together mathematicians and leading thinkers in the fields inspired by Alan Turings seminal paper On Computable Numbers.

It will appeal especially to mathematicians and researchers interested in computability, decidability, mathematical logic and the history of computing. The conference will also provide an opportunity for early-career researchers to showcase their work in areas stimulated by the
1936 paper. We will engage the public in debate about these ideas and their current significance. We will explain, educate, celebrate, inspire and entertain. The conference is open to all.

We are delighted to be able to offer bursaries and discounted registration fees to accepted early career researchers who can present their work in the poster session. Applications for bursaries will be reviewed by the London Mathematical Society.

The Conference itself is targeted at the academic community, though everyone who has an interest in Alan Turing's 1936 paper and the ideas it has sparked will be stimulated and are welcome to attend.

For a more general audience, we are offering a Public Lecture which will take place in the afternoon of Thursday 17 September 2026 (exact timing to be confirmed).
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php