Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (6)
1
Polish Congress of Logic
22. Sep 2025 - 26. Sep 2025 • Toruń, Polen
2
MAMLS 2025 — Mid Atlantic Mathematical Logic Seminar 2025 - Fall Fest
26. Sep 2025 - 28. Sep 2025 • New Brunswick, NJ, Vereinigte Staaten
Veranstalter:
Rutgers University
Kontakt:
Email: filippo.calderoni@rutgers.edu
Eintrags-ID:
1674680
3
Logic and Meaning: Colloquium on Gottlob Frege’s Legacy
01. Okt 2025 - 04. Okt 2025 • Online, Virtuelle Veranstaltung
Zusammenfassung:
This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.
Eintrags-ID:
1666297
Verwandte Fachgebiete:
4
GI-Dagstuhl-Seminar — Tools for Reachability Analysis of Stochastic Hybrid Systems
14. Dez 2025 - 19. Dez 2025 • Schloss Dagstuhl, Deutschland
Veranstalter:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Zusammenfassung:
This GI-Dagstuhl Seminar aims to bring together junior researchers from different research areas related to the modeling and analysis of stochastic hybrid systems. The involved communities address quantitative modeling, the verification of (stochastic) hybrid systems, and statistical model checking. The seminar will cover intersecting research questions around semantics, tool interoperability, benchmarking, and reproducibility. Its goal is to launch discussions, the exchange of ideas, and fruitful collaborations with an emphasis on networking and the training of the participating young scientists to strengthen their qualifications and skills.
Themen:
Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory
Eintrags-ID:
1670289
5
APMP 2025 — 8th International Meeting of the Association for the Philosophy of Mathematical Practice
12. Jan 2026 - 15. Jan 2026 • Orange CA, Vereinigte Staaten
Zusammenfassung:
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Eintrags-ID:
1666379
Verwandte Fachgebiete:
6
Additivity Problems in Quantum and Classical Information Theory
12. Jul 2026 - 17. Jul 2026 • Banff, Alberta, Kanada
Veranstalter:
Banff International Research Station for Mathematical Innovation and Discovery (BIRS)
Zusammenfassung:
Information theory aims to find mathematically precise answers to fundamental questions such as how information is stored, processed, or sent reliably through noisy communication links. Towards the end of the 20th century, researchers started asking how these information-processing tasks change when information is encoded in systems exhibiting quantum-mechanical behavior. Remarkably, features of quantum mechanics such as the superposition principle and entanglement give rise to phenomena in information theory that cannot be realized with classical information-processing systems. Their discovery has led to the creation of the now thriving field of quantum information theory. A cornerstone of quantum information theory is the principle of non-additivity of information measures. Roughly speaking, non-additivity occurs if a communication resource becomes more powerful when used repeatedly or in conjunction with another resource. On the one hand, non-additivity effects are desirable as they push the limits of faithfully communicating information. On the other hand, they complicate an exact characterization of these limits in both mathematical and computational terms. Our workshop gathers experts from all areas of quantum information theory, with the goal of shedding further light on, and identifying new methods to study, the nature of non-additivity phenomena in quantum information-processing systems.
Eintrags-ID:
1668756


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 6. September 2025