Tagungen und Workshops zum Thema Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (9)
1
Algebraic system, Logic, Language and Related Areas in Computer Sciences Ⅱ
17. Feb 2020 - 19. Feb 2020 • Kyoto University, Japan
Veranstalter:
Kyoto University/Toho University
Eintrags-ID:
1240456
2
CS2T2020 — Catania Set Theory and Topology Conference 2020
18. Feb 2020 - 21. Feb 2020 • Catania, Italien
Veranstalter:
University of Catania, Department of Mathematics and Computer Science
Zusammenfassung:
Our conference aims to bring together researchers and students working on set theory and its applications to a wide spectrum of areas of mathematics, and in particular to Topology, to discuss the most recent advances and main open problems in the field and foster collaboration. There will be eight invited lectures and each of the participants can contribute a 20-30 minute talk. Invited speakers: Leandro Aurichi (University of São Paulo-São Carlos, Brazil), Joan Bagaria (University of Barcelona, Spain), István Juhász (Hungarian Academy of Sciences, Hungary), Menachem Kojman (Ben Gurion University, Israel), Menachem Magidor (Hebrew University of Jerusalem, Israel), Gianluca Paolini (University of Turin, Italy), Stevo Todorcevic (University of Toronto, Canada and CNRS, Paris), Lyubomyr Zdomskyy (Kurt Gödel Research Center, Vienna, Austria).
Kontakt:
Email: CataniaSetTheory@gmail.com
Themen:
set theoretic topology, forcing, large cardinals, descriptive set theory, PCF theory, cardinal invariants.
Eintrags-ID:
1276522
Verwandte Fachgebiete:
3
Workshop — Set Theory
05. Apr 2020 - 11. Apr 2020 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1220432
4
Foundations and Frontiers of Probabilistic Proofs
29. Jun 2020 - 10. Jul 2020 • Zürich, Schweiz
Veranstalter:
Mathematical Sciences Research Institute (MSRI)
Zusammenfassung:
In recent years, such probabilistic proofs received much attention due to a new motivation, delegation of computation, which is the emphasis of this summer school. This paradigm admits ultra-fast protocols that allow one party to check the correctness of the computation performed by another, untrusted, party. These protocols have even been realized within recently-deployed technology, for example, as part of cryptographic constructions known as succinct non-interactive arguments of knowledge (SNARKs). This summer school will provide an introduction to the field of probabilistic proofs and the beautiful mathematics behind it, as well as prepare students for conducting cutting-edge research in this area.
Eintrags-ID:
1307702
5
Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
08. Nov 2020 - 14. Nov 2020 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1220755
6
Computability Theory
25. Apr 2021 - 01. Mai 2021 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1313019
7
Type Theory, Constructive Mathematics and Geometric Logic
03. Mai 2021 - 07. Mai 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312210
Verwandte Fachgebiete:
8
Information Theory and Data Science Workshop
19. Jul 2021 - 23. Jul 2021 • Singapore, Singapur
Veranstalter:
Institute for Mathematical Sciences/National University of Singapore
Zusammenfassung:
Information theory addresses fundamental questions in various areas of science and engineering, including communications, data compression, statistical learning theory, security, and networks. In particular, information theory can be used to identify fundamental limits and gauge the effectiveness of algorithms for various problems associated with these fields.
Eintrags-ID:
1240849
9
16th International Luminy Workshop in Set Theory
13. Sep 2021 - 17. Sep 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312393


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.

Stand vom 03. Januar 2020