Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (26)
1
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:
1585657
2
LPAR-25 — 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
26. Mai 2024 - 31. Mai 2024 • Balaclava, Mauritius
Zusammenfassung:
The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.
Eintrags-ID:
1617266
3
10th Indian School on Logic and its Applications
03. Jun 2024 - 07. Jun 2024 • Goa, Indien
Veranstalter:
ISLA is a biennial event of the Association FOR Logic in India (ALI).
Zusammenfassung:
The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.
Eintrags-ID:
1617212
Verwandte Fachgebiete:
4
NLS 2024 — Fifth Nordic Logic Summer School
10. Jun 2024 - 23. Jun 2024 • Reykjavík, Island
Veranstalter:
The fifth Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society.
Eintrags-ID:
1617250
5
RaTLoCC 2024 — Workshop "Ramsey Theory in Logic, Combinatorics and Complexity"
11. Jun 2024 - 14. Jun 2024 • Pisa, Italien
Veranstalter:
University of Pisa, Department of Mathematics
Zusammenfassung:
The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals. The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.
Eintrags-ID:
1617293
Verwandte Fachgebiete:
6
SLSS 2024 — Twelfth Scandinavian Logic Symposium
14. Jun 2024 - 16. Jun 2024 • Reykjavík, Island
Veranstalter:
Reykjavik University, Iceland
Zusammenfassung:
The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world.
Themen:
Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Modal and Temporal Logics, Dynamic Logics, Logic and Computer Science, Logic in AI and Multi-Agent Systems, Logic and Linguistics, Philosophical Logic, Philosophy of Logic, Mathematics and Computation
Eintrags-ID:
1617312
7
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:
1585593
8
DL 2024 — 37th International Workshop on Description Logics
18. Jun 2024 - 21. Jun 2024 • Bergen, Norwegen
Zusammenfassung:
DL 2024 The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway from June, 18th to June, 21st.
Eintrags-ID:
1617409
9
C-FORS Graduate Conference — Constructional Approaches in the Foundations of Mathematics and Philosophy
19. Jun 2024 - 20. Jun 2024 • Oslo, Norwegen
Themen:
Philosophy of Mathematics, (Philosophy of) Set Theory and Logic; Formal Metaphysics and Ontology (grounding and constructional approaches).
Eintrags-ID:
1617342
Verwandte Fachgebiete:
10
LC 2024 — Logic Colloquium 2024
24. Jun 2024 - 28. Jun 2024 • Göteborg, Schweden
Veranstalter:
European Summer Meeting of the Association for Symbolic Logic, Gothenburg, Sweden
Zusammenfassung:
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24–28 June at the University of Gothenburg in Sweden. The colloquium will run for five days and comprise 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting.
Eintrags-ID:
1617341
Webseite:
11
Vienna Inner Model Theory 2024
24. Jun 2024 - 05. Jul 2024 • Wien, Österreich
Zusammenfassung:
This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop.
Eintrags-ID:
1617406
12
TACL 2024 – Summer School — Topology, Algebra, and Categories in Logic
25. Jun 2024 - 28. Jun 2024 • Barcelona, Spanien
Zusammenfassung:
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods.
Eintrags-ID:
1617371
13
LOFT15 — Fifteenth Conference on Logic and the Foundations of Game and Decision Theory
26. Jun 2024 - 28. Jun 2024 • Bayreuth, Deutschland
Eintrags-ID:
1617458
Verwandte Fachgebiete:
14
AQRNL 2024 — 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics
01. Jul 2024 • Nancy, Frankreich
Zusammenfassung:
The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications, describe problem formalizations, example problems, and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.
Themen:
Topics of the ARQNL workshop will cover all aspects related to the mechanization and automation of quantified non-classical logics.
Eintrags-ID:
1617499
15
International Logic Olympiad 2024
01. Jul 2024 - 03. Jul 2024 • Stanford, Vereinigte Staaten
Zusammenfassung:
Offering high school students worldwide a chance to showcase excellence in logic and problem-solving, this contest is designed by the Stanford Logic Group, with aims to internationalize logic education and culminates in an on-campus final round at Stanford University. Join the global celebration of logic and problem-solving at ILO2024, this prestigious contest for high school students worldwide aims to expand logic education internationally, while fostering a vibrant global community of logical thinkers.
Eintrags-ID:
1617412
16
TACL 2024 – Conference — Topology, Algebra, and Categories in Logic
01. Jul 2024 - 05. Jul 2024 • Barcelona, Spanien
Zusammenfassung:
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods.
Eintrags-ID:
1617361
17
PLS14 — 14th Panhellenic Logic Symposium
01. Jul 2024 - 05. Jul 2024 • Thessaloniki, Griechenland
Zusammenfassung:
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Eintrags-ID:
1617508
Verwandte Fachgebiete:
18
LCD 2024 — Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology
02. Jul 2024 - 05. Jul 2024 • Leeds, Großbritannien
Eintrags-ID:
1617473
Verwandte Fachgebiete:
19
LFMTP24 — Logica Frameworks and Meta Languages: Theory and Practice
08. Jul 2024 • Tallinn , Estland
Zusammenfassung:
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.
Eintrags-ID:
1617548
20
4th Tsinghua Logic Summer School, , China
08. Jul 2024 - 12. Jul 2024 • Peking, China
Veranstalter:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Zusammenfassung:
The Tsinghua University – University of Amsterdam Joint Research Centre for Logic initiated a Logic Summer School Program in the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences, and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.
Eintrags-ID:
1617443
21
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:
1592339
22
On geometric complexity of Julia sets V
21. Jul 2024 - 26. Jul 2024 • Będlewo, Polen
Veranstalter:
Banach Center
Eintrags-ID:
1566434
23
ESSLLI 2024 — 35th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION
29. Jul 2024 - 09. Aug 2024 • Leuven, Belgien
24
AiML 2024 — 15th International Conference on Advances in Modal Logic
19. Aug 2024 - 23. Aug 2024 • Prag, Tschechische Republik
Veranstalter:
AiML 2024 is organized by the Institute of Computer Science of the Czech Academy of Sciences, the Institute of Philosophy of the Czech Academy of Sciences and the Faculty of Arts of Charles University.
Zusammenfassung:
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications.
Eintrags-ID:
1617573
25
2nd European Summer School on the Philosophy of Mathematics
09. Sep 2024 - 13. Sep 2024 • Wien, Österreich
Veranstalter:
University of Vienna and the Institute Vienna Circle
Eintrags-ID:
1617678
Verwandte Fachgebiete:
26
Set Theory
12. Jan 2025 - 17. Jan 2025 • Oberwolfach, Deutschland
Themen:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1605082


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 2. Mai 2024