Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik  >  Großbritannien

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.

Logic and Philosophy of Logic, Philosophy of Mathematics

Isaac Newton Institute for Mathematical Sciences, Cambridge

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.

Analysis,    Numerische Analysis