Conferences  >  Mathematics  >  Automated Theorem Proving

Select a location
ALL COUNTRIES (6)
1
New perspectives in Computational Group Theory
24 Jun 2024 - 26 Jun 2026 • University of Warwick, United Kingdom
Event listing ID:
1580225
Related subject(s):
2
Summer School — Computer Assisted Proofs in Applied Mathematics
07 Jul 2025 - 18 Jul 2025 • Berkeley, California, United States
Organizer:
Simons Laufer Mathematical Sciences Institute (SLMath)
Abstract:
Computer assisted proofs are at the forefront of modern mathematics, and have led to many important recent mathematical advances. They provide a way of melding analytical techniques with numerical methods, in order to provide rigorous statements for mathematical models that could not be treated by either method alone. In this summer school, students will review standard computational and analytical techniques, learn to combine these techniques with more specialized methods of interval arithmetic and automatic differentiation, and apply these methods to establish rigorous results in otherwise intractable problems.
Event listing ID:
1654007
3
Proof Society 2025 — 7th International School and Workshop on Proof Theory
01 Sep 2025 - 05 Sep 2025 • Ghent, Belgium
Organizer:
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society.
Abstract:
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.
Event listing ID:
1666177
4
LFPSI'25 — 1st International School on Logical Frameworks and Proof Systems Interoperability
08 Sep 2025 - 11 Sep 2025 • Orsay, France
5
Autumn School “Proof and Computation”
14 Sep 2025 - 20 Sep 2025 • Herrsching, Germany
Abstract:
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.
Event listing ID:
1666203
6
Theory and Practice of SAT and Combinatorial Solving
11 Jan 2026 - 16 Jan 2026 • Banff, Alberta, Canada
Organizer:
Banff International Research Station for Mathematical Innovation and Discovery (BIRS)
Abstract:
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.
Topics:
Boolean satisfiability (SAT)
Event listing ID:
1668400
Related subject(s):


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 10 July 2025