Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (11)
1
XVe atelier international de théorie des ensembles — 15th International Luminy Workshop in Set Theory
23 Sep 2019 - 27 Sep 2019 • CIRM – Luminy, France
Organizer:
Centre International de Rencontres Mathématiques (CIRM)
Abstract:
The Luminy workshops in Set Theory have been taking place since 1990. The goal of these meetings is on one side to to present the most important recent results in set theory as well as its interactions with other disciplines and on the other to promote new promising directions in research. The scientific level of these meetings is very high, with around 10 ICM speakers and experts from leading universities around the world, as well as some of the most promising young researchers.
Event listing ID:
1212139
2
Model theoretic aspects of the notion of independence and dimension
02 Dec 2019 - 04 Dec 2019 • Kyoto University, Japan
Organizer:
Kyoto University/Hosei University
Event listing ID:
1240608
3
Rational points of higher dimensional varieties
02 Dec 2019 - 06 Dec 2019 • Kyoto University, Japan
Organizer:
Kyoto University/Tohoku University
Event listing ID:
1240639
Related subject(s):
4
SLALM 2019 — 18th Simposio Latinoamericano de Lógica Matemática
16 Dec 2019 - 20 Dec 2019 • Conception, Chile
Organizer:
Association for Symbolic Logic (ASL)
Abstract:
The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.
Event listing ID:
1239728
5
Proof theory and related topics
24 Dec 2019 - 26 Dec 2019 • Kyoto University, Japan
Organizer:
Kyoto University/Kyushu Sangyo University
Event listing ID:
1240548
6
CSL 2020 — Computer Science Logic
13 Jan 2020 - 16 Jan 2020 • Barcelona, Spain
Organizer:
European Association for Computer Science Logic (EACSL)
Abstract:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
Event listing ID:
1239630
7
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:
1239672
8
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:
1240434
9
Workshop — Set Theory
05 Apr 2020 - 11 Apr 2020 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1220465
10
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:
1220766
11
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:
1240772


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: 18 June 2019