Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (10)
1
APMP 2020 — Fifth International Meeting of the Association for the Philosophy of Mathematical Practice
18 Jan 2020 - 21 Jan 2020 • Zuerich, Switzerland
Event listing ID:
1239705
2
Algebraic system, Logic, Language and Related Areas in Computer Sciences Ⅱ
17 Feb 2020 - 19 Feb 2020 • Kyoto University, Japan
Organizer:
Kyoto University/Toho University
Event listing ID:
1240456
3
CS2T2020 — Catania Set Theory and Topology Conference 2020
18 Feb 2020 - 21 Feb 2020 • Catania, Italy
Organizer:
University of Catania, Department of Mathematics and Computer Science
Abstract:
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).
Contact:
Email: CataniaSetTheory@gmail.com
Topics:
set theoretic topology, forcing, large cardinals, descriptive set theory, PCF theory, cardinal invariants.
Event listing ID:
1276544
Related subject(s):
4
Workshop — Set Theory
05 Apr 2020 - 11 Apr 2020 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1220410
5
Foundations and Frontiers of Probabilistic Proofs
29 Jun 2020 - 10 Jul 2020 • Zurich, Switzerland
Organizer:
Mathematical Sciences Research Institute (MSRI)
Abstract:
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.
Event listing ID:
1307702
6
Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
08 Nov 2020 - 14 Nov 2020 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1220711
7
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1312997
8
Type Theory, Constructive Mathematics and Geometric Logic
03 May 2021 - 07 May 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312287
Related subject(s):
9
Information Theory and Data Science Workshop
19 Jul 2021 - 23 Jul 2021 • Singapore, Singapore
Organizer:
Institute for Mathematical Sciences/National University of Singapore
Abstract:
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.
Event listing ID:
1240838
10
16th International Luminy Workshop in Set Theory
13 Sep 2021 - 17 Sep 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312404


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 03 January 2020