Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (9)
1
SLC91 — 91st Seminaire Lotharingien de Combinatoire
17. Mär 2024 - 20. Mär 2024 • Salobreña, Spanien
Veranstalter:
University of Sevilla, University of Vienna
Zusammenfassung:
The Séminaire Lotharingien de Combinatoire conferences are a biannual meeting for all branches of Combinatorics. The SLC has existed since 1980 as a joint seminar in Combinatorics for the Universities of Bayreuth, Erlangen and Strasbourg, as well as the other Universities along the Lotharingian boundaries. Regular meetings will continue in the same spirit, but it has been decided in 1994 that the Seminar hosts an international peer-reviewed electronic journal carrying the same name.
Kontakt:
Main organizer;     Email: mrosas at us.es
Themen:
Combinatorics, graph theory, representation theory, matroids, enumerative combinatorics
Eintrags-ID:
1594659
Verwandte Fachgebiete:
2
TLLM IV — 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning: "The Connectives in Logic and Language"
29. Mär 2024 - 31. Mär 2024 • Tsinghua University, Beijing, China
Veranstalter:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Zusammenfassung:
The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or language. Below are just a few examples of possible topics for this workshop.
Einsendeschluss für Abstracts:
10. Nov 2023
Eintrags-ID:
1583609
3
BLAST 2024
06. Apr 2024 - 09. Apr 2024 • University of North Texas, Denton, TX, Vereinigte Staaten
Zusammenfassung:
The series is based in the mountain/western/midwestern region, and circulates between different universities. The BLAST series is partially supported by the NSF.
Themen:
BLAST is an acronym for the annual conference on Boolean Algebras - Lattices, Algebraic Logic, and Quantum Logic - Universal Algebra - Set Theory - Set-theoretic and Point-free Topology
Eintrags-ID:
1598305
Verwandte Fachgebiete:
4
Trimester Program — Prospects of formal mathematics
06. Mai 2024 - 16. Aug 2024 • Bonn, Deutschland
Veranstalter:
Hausdorff Research Institute for Mathematics (HIM)
Zusammenfassung:
The goal of this program is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. At the same time the goal is to provide a platform for junior researchers to enter Formal Mathematics. A central, unifying theme is to break down adoption barriers of formal methods in Mathematics.
Eintrags-ID:
1585635
5
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
13. Mai 2024 - 17. Mai 2024 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1574663
6
Workshop — Formalization of Mathematics
17. Jun 2024 - 21. Jun 2024 • Bonn, Deutschland
Veranstalter:
Hausdorff Research Institute for Mathematics (HIM)
Zusammenfassung:
This workshop is devoted to the central theme of the Trimester: How do current and future developments of Formal Mathematics impact and assist active research in central areas of pure mathematics. Talks will focus on examples of such interactions, as well as on the development of adequate techniques. Some half-days will be reserved for informal demonstrations, collaborations and co-working.
Eintrags-ID:
1585648
7
QPL 2024 — 21st International Conference on Quantum Physics and Logic
15. Jul 2024 - 19. Jul 2024 • Buenos Aires, Argentinien
Zusammenfassung:
The 21st International Conference on Quantum Physics and Logic (QPL 2024) will take place from July 15th to 19th, 2024, at the Instituto de Ciencias de la Computación in Buenos Aires, Argentina. Quantum Physics and Logic is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition. Work applying quantum-inspired techniques and structures to other fields, such as linguistics, artificial intelligence, and causality, is also welcome.
Eintrags-ID:
1592240
8
On geometric complexity of Julia sets V
21. Jul 2024 - 26. Jul 2024 • Będlewo, Polen
Veranstalter:
Banach Center
Eintrags-ID:
1566456
9
Set Theory
12. Jan 2025 - 17. Jan 2025 • Oberwolfach, Deutschland
Themen:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1605148


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 7. Februar 2024