Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (14)
1
Workshop on the Frontiers of Set Theory
05. Jun 2023 - 09. Jun 2023 • The Fields Institute, Toronto, Ontario, Kanada
Veranstalter:
The Fields Institute
Zusammenfassung:
This workshop will be less focused in nature and will bring together small groups of experts centered around emerging applications of set theory. This will include applications of set-theory in algebraic topology and homological algebra, operator algebras (for instance Koszmider's solution to Anderson's conjecture), Keisler's order in model theory, and the geometry of Banach spaces.
Eintrags-ID:
1461205
2
Logica 2023
18. Jun 2023 - 22. Jun 2023 • Tepla Monastery, Tepla, Tschechische Republik
Veranstalter:
Institute of Philosophy of the The Czech Academy of Sciences, Department of Logic
Zusammenfassung:
Institute of Philosophy of the The Czech Academy of Sciences announces LOGICA 2023, the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University). If you are interested in presenting a paper at the symposium, please submit a two-page blinded abstract via EasyChair by 27 March 2023. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for philosophically and mathematically oriented logicians.
Kontakt:
Email: logica@flu.cas.cz
Themen:
logic, philosophical logic, mathematical logic, philosophy of language, philosophy of logic, history of logic
Eintrags-ID:
1545383
3
CLoCk68 — Cracow Logic Conference (Konferencja Historii Logiki 68).
28. Jun 2023 - 30. Jun 2023 • Krakau, Polen
Veranstalter:
Jagiellonian University
Zusammenfassung:
Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic). The present conference in 68th in the series.
Kontakt:
Organisers (Dept. of Logic);     Email: dlg@iphils.uj.edu.pl
Themen:
algebraic logic, model theory, proof theory, philosophical logic
Eintrags-ID:
1555412
4
Logical Methods in Ramsey Theory and Related Topics
10. Jul 2023 - 11. Jul 2023 • Pisa, Italien
Zusammenfassung:
The workshop is centered around the interplay between mathematical logic and combinatorics. Its main goals are: Disseminate information about various logical techniques used in several areas of combinatorics and related topics; Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.
Eintrags-ID:
1552537
Verwandte Fachgebiete:
5
QPL 2023 — 20th International Conference on Quantum Physics and Logic
17. Jul 2023 - 21. Jul 2023 • Institut Henri Poincaré in Paris, Frankreich
Zusammenfassung:
The 20th International Conference on Quantum Physics and Logic (QPL 2023) will take place from 17 July to 21 July 2023 at Institut Henri Poincaré in Paris, France. Quantum Physics and Logic is an annual conference that brings together academic and industry researchers working on 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.
Einsendeschluss für Abstracts:
01. Mär 2023
Eintrags-ID:
1543370
6
CMO/Banff Workshop — Set-Theoretic Topology
30. Jul 2023 - 04. Aug 2023 • Oaxaca, Mexiko
Veranstalter:
Casa Matemática Oaxaca (CMO)
Zusammenfassung:
The workshop is designed to explore the interactions that exists between set theory, topology, and algebra. The focus of the workshop will be on the study of topological problems of set-theoretic flavor arising in topological algebra and algebraic topology, as well as the study of topological games and homogeneity.
Eintrags-ID:
1503746
Verwandte Fachgebiete:
7
ESSLLI 2023 — 34th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION
31. Jul 2023 - 11. Aug 2023 • Ljubljana, Slowenien
Veranstalter:
University of Ljubljana, Faculty for computer and information science
Zusammenfassung:
The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, which has been organized since 1989. An ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.
Eintrags-ID:
1543702
8
Workshop — Operator Algebras and Applications: Connections with Logic
28. Aug 2023 - 01. Sep 2023 • The Fields Institute, Toronto, Ontario, Kanada
Veranstalter:
The Fields Institute
Zusammenfassung:
Scheduled as part of Thematic Program on Operator Algebras and Applications
Eintrags-ID:
1494497
Verwandte Fachgebiete:
9
CMO/Banff Workshop — Group Actions on Cantor Sets
03. Sep 2023 - 08. Sep 2023 • Oaxaca, Mexiko
Veranstalter:
Casa Matemática Oaxaca (CMO)
Zusammenfassung:
In the recent development of Mathematics, the study of symmetry of highly singular objects has contributed to the simultaneous understanding of symmetries and groups. The aims of the Workshop are the study of symmetries of the Cantor set, and the understanding of the groups arising as symmetries of the Cantor set.
Eintrags-ID:
1503764
Verwandte Fachgebiete:
10
Tbilisi 2023 — 14th Tbilisi Symposium on Logic, Language and Computation
18. Sep 2023 - 22. Sep 2023 • Telavi, Georgien
Veranstalter:
The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
Zusammenfassung:
The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation.
Einsendeschluss für Abstracts:
17. Mär 2023
Eintrags-ID:
1543725
Verwandte Fachgebiete:
11
XVII International Luminy Workshop in Set Theory
09. Okt 2023 - 13. Okt 2023 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1503114
12
Ecology, epidemiology and evolution
23. Okt 2023 - 27. Okt 2023 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1503112
13
Mathematical Logic: Proof Theory, Constructive Mathematics
12. Nov 2023 - 18. Nov 2023 • Oberwolfach, Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1495298
Verwandte Fachgebiete:
14
School — Recent developments in set theory
12. Nov 2023 - 18. Nov 2023 • Będlewo, Polen
Veranstalter:
Banach Center & Polish Academy of Sciences – Institute of Mathematics
Zusammenfassung:
To disseminate some of the recent developments in set theory. The conference will have 5-6 parallel tutorials that will disseminate modern techniques. The tutorials will be aimed at both graduate students as well as senior researchers.
Eintrags-ID:
1526194


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 27. April 2023