Conférences  >  Mathématiques  >  Démonstration automatique de théorèmes

Sélecionner un pays
TOUS LES PAYS (6)
1
Proof Society 2025 — 7th International School and Workshop on Proof Theory
01 sep 2025 - 05 sep 2025 • Gand, Belgique
Organisateur:
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society.
Résumé:
Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
Identifiant de l'évènement:
1666188
2
LFPSI'25 — 1st International School on Logical Frameworks and Proof Systems Interoperability
08 sep 2025 - 11 sep 2025 • Orsay, France
3
Autumn School “Proof and Computation”
14 sep 2025 - 20 sep 2025 • Herrsching, Allemagne
Résumé:
An international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Identifiant de l'évènement:
1666258
4
Theory and Practice of SAT and Combinatorial Solving
11 jan 2026 - 16 jan 2026 • Banff, Alberta, Canada
Organisateur:
Banff International Research Station for Mathematical Innovation and Discovery (BIRS)
Résumé:
How hard is it to figure out if there is a way to make a set of logical statements true at the same time by choosing appropriate truth values for their variables? This satisfiability problem is of immense importance both theoretically and practically, and lies right at the heart of mathematics and computer science. On the one hand, today so-called Boolean satisfiability (SAT) solvers are routinely and successfully used to solve large-scale real-world formulas in a wide range of application areas (such as hardware and software verification, electronic design automation, artificial intelligence research, cryptography, bioinformatics, operations research, and sometimes even pure mathematics). On the other hand, this problem is believed to be intractable in general --- though proving that this is so is so is one of the famous million dollar Clay Millennium Problems (the P vs. NP problem) --- and there are tiny formulas for which even the very best SAT solvers today fail miserably.
Sujets:
Boolean satisfiability (SAT)
Identifiant de l'évènement:
1668422
5
Dagstuhl-Seminar — Proof Systems in Actual Practice: Reasoning and Computation
15 mar 2026 - 20 mar 2026 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
This Dagstuhl Seminar seeks to extend and deepen the convergence across disciplinary boundaries by fostering exchange and collaboration among the relevant experts and practitioners, uniting expertise in proof theory with proof complexity, categorical semantics, constructive mathematics, proof mining, program extraction, and automated theorem proving. By bridging these domains, we seek to empower the next generation of researchers to frame and connect their work within this converging landscape, ultimately advancing the computational applications of proof systems in both theoretical and practical contexts.
Identifiant de l'évènement:
1671328
6
Workshop — Validated numerics for computer-assisted proofs
06 jul 2026 - 10 jul 2026 • ICMS, Bayes Centre, Edinburgh , Royaume-Uni
Organisateur:
The International Centre for Mathematical Sciences (ICMS)
Résumé:
Validated numerics, rooted in Moore’s interval analysis, uses the arithmetic of real intervals to rigorously bound nonlinear functions and control floating-point errors in computations. These methods extend naturally to higher-dimensional and function spaces, forming the basis of rigorous numerical functional analysis. Combined with set-oriented techniques, validated numerics has enabled computer-assisted proofs to address a variety of problems in dynamical systems. Recent advances in computing, and wider availability of platforms that provide support, have led to a resurgence of research activity in the field of validated numerics (and application to computer-assisted proofs).
Identifiant de l'évènement:
1670136


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: 27 juillet 2025