Home / Conference Listings / Mathematics / Mathematical Logic and Foundations / United Kingdom

Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  United Kingdom

Select a location
Canada (1)  Germany (1)  United Kingdom (2)  United States (1)
United Kingdom
1
Cambridge Logic 19 — Nineteenth Annual Cambridge Graduate Conference in Philosophy of Mathematics and Logic
24 Jan 2026 - 25 Jan 2026 • St John's College, Cambridge, United Kingdom
Abstract:
The Cambridge Graduate Conference on the Philosophy of Mathematicsand Logic returns for its nineteenth year. The conference will be held, as in previous years, in St John's College, Cambridge on 24–25 January 2026. The conference is intended as a forum for graduate students who work in formal areas of philosophy to present their work to their peers.
Topics:
Logic and Philosophy of Logic, Philosophy of Mathematics
Abstract submission deadline:
28 Oct 2025
Event listing ID:
1678548
Related subject(s):
Academic Philosophy
Event website:
https://sites.google.com/view/cambridge-logic-19/home
2
LFCW02 — Logical foundations of complexity theory
19 Oct 2026 - 23 Oct 2026 • Cambridge, United Kingdom
Organizer:
Isaac Newton Institute for Mathematical Sciences, Cambridge
Abstract:
Many of the fundamental concepts and problems in complexity theory originated at least partially in mathematical logic. The power of various feasible computational models appears to be linked with the strength of weak formal theories, and understanding the strength of formal theories may be useful --- if not key --- to resolving some of the open conjectures about the power of feasible computation. The workshop will be devoted to research on logical facets of complexity theory, especially the interplay between formal logical theories and computational complexity.
Event listing ID:
1684980
Related subject(s):
Analysis,    Numerical Analysis and Computational Mathematics
Event website:
https://www.newton.ac.uk/event/lfcw02/


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 25 November 2025