Conférences  >  Mathématiques  >  Logique mathématique et fondements  >  Royaume-Uni

Sélecionner un pays
1
LFCW02 — Logical foundations of complexity theory
19 oct 2026 - 23 oct 2026 • Cambridge, Royaume-Uni
Organisateur:
Isaac Newton Institute for Mathematical Sciences, Cambridge
Résumé:
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.
Identifiant de l'évènement:
1685035
Sujets apparentés:


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 25 novembre 2025