Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  United Kingdom

Select a location
1
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:
1684991


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