Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen

Wählen Sie ein Land aus
ALLE LÄNDER (5)
1
New perspectives in Computational Group Theory
24. Jun 2024 - 26. Jun 2026 • University of Warwick, Großbritannien
Eintrags-ID:
1580192
Verwandte Fachgebiete:
2
Summer School — Computer Assisted Proofs in Applied Mathematics
07. Jul 2025 - 18. Jul 2025 • Berkeley, Kalifornien, Vereinigte Staaten
Veranstalter:
Simons Laufer Mathematical Sciences Institute (SLMath)
Zusammenfassung:
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.
Eintrags-ID:
1653996
3
Proof Society 2025 — 7th International School and Workshop on Proof Theory
01. Sep 2025 - 05. Sep 2025 • Gent, Belgien
Veranstalter:
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society.
Zusammenfassung:
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.
Eintrags-ID:
1666133
4
LFPSI'25 — 1st International School on Logical Frameworks and Proof Systems Interoperability
08. Sep 2025 - 11. Sep 2025 • Orsay, Frankreich
5
Autumn School “Proof and Computation”
14. Sep 2025 - 20. Sep 2025 • Herrsching, Deutschland
Zusammenfassung:
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.
Eintrags-ID:
1666181


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 26. Juni 2025