CfP: Workshop on Logical Foundations of Complexity Theory, 19

Logic List Mailing Archive

CfP: Workshop on Logical Foundations of Complexity Theory, 19–23 October 2026, Cambridge (UK)

Call for participation

Workshop on Logical Foundations of Complexity Theory

Isaac Newton Institute, Cambridge, UK, October 19 - October 23, 2026.

WORKSHOP THEME: 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.

PARTICIPATION: Please apply online at the workshop webpage https://www.newton.ac.uk/event/lfcw02/ to participate. The deadline for applications is July 19, but later applications will be considered, space permitting.

CONTRIBUTED TALKS: The organisers welcome submissions for contributed talks. If you wish to do so, please indicate this on the relevant section of the application form and get in contact with the organisers to express your interest.

WEBPAGE: Full workshop information at: https://www.newton.ac.uk/event/lfcw02/

This workshop is part of a special program held at the Isaac Newton Institute for Mathematical Sciences on the Logical Foundations of Computational Complexity, September 1 - December 12, 2026. Special program website: https://www.newton.ac.uk/event/lfc/

CONFIRMED WORKSHOP SPEAKERS
Noel Arteche (Lund Univeristy and University of Copenhagen ) Albert Atserias (Universitat Politcnica de Catalunya) Marco Carmosino (IBM Yorktown) Anupam Das (University of Birmingham) Susanna de Rezende (Lund University) Edward Hirsch (Ariel University) Dmitry Itsykson (Ben-Gurion University) Ondrej Jezil (Charles University) Valentine Kabanets (Simon Fraser University) Erfan Khaniki (University of Oxford) Antonina Kolokolova (Memorial University of Newfoundland) Jiatu Li (MIT) Moritz Muller (University of Passau) Igor Oliveira (University of Warwick) Jan Pich (University of Oxford) Pavel Pudlak (Czech Academy of Sciences) Hanlin Ren (Institute for Advanced Study) Robert Robere (McGill University) Rahul Santhanam (University of Oxford) Neil Thapen (Czech Academy of Science) Dimitrios Tsintsilidas (University of Warwick) Iddo Tzameret (Imperial College London)

WORKSHOP ORGANIZERS:
Sam Buss, sbuss@ucsd.edu, University of California, San Diego Jan Krajicek, jan.krajicek@protonmail.com, Charles University, Prague
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php