Accueil / Calendrier de conférences / Mathématiques / Logique mathématique et fondements / Royaume-Uni

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

Sélecionner un pays
Allemagne (1)  Canada (1)  Royaume-Uni (2)  États-Unis (1)
Royaume-Uni
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, Royaume-Uni
Résumé:
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.
Sujets:
Logic and Philosophy of Logic, Philosophy of Mathematics
Date limite de soumission des résumés:
28 oct 2025
Identifiant de l'évènement:
1678504
Sujets apparentés:
Philosophie universitaire
Page web:
https://sites.google.com/view/cambridge-logic-19/home
2
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:
1685046
Sujets apparentés:
Analyse,    Mathématiques numériques
Page web:
https://www.newton.ac.uk/event/lfcw02/


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