Conférences - Logique mathématique et fondements

Sélecionner un pays
TOUS LES PAYS (11)
1
Model theoretic aspects of the notion of independence and dimension
02 dec 2019 - 04 dec 2019 • Kyoto University, Japon
Organisateur:
Kyoto University/Hosei University
Identifiant de l'évènement:
1240531
2
Rational points of higher dimensional varieties
02 dec 2019 - 06 dec 2019 • Kyoto University, Japon
Organisateur:
Kyoto University/Tohoku University
Identifiant de l'évènement:
1240606
Sujets apparentés:
3
SLALM 2019 — 18th Simposio Latinoamericano de Lógica Matemática
16 dec 2019 - 20 dec 2019 • Conception, Chili
Organisateur:
Association for Symbolic Logic (ASL)
Résumé:
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.
Identifiant de l'évènement:
1239717
4
Proof theory and related topics
24 dec 2019 - 26 dec 2019 • Kyoto University, Japon
Organisateur:
Kyoto University/Kyushu Sangyo University
Identifiant de l'évènement:
1240548
5
CSL 2020 — Computer Science Logic
13 jan 2020 - 16 jan 2020 • Barcelona, Espagne
Organisateur:
European Association for Computer Science Logic (EACSL)
Résumé:
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.
Identifiant de l'évènement:
1239696
6
APMP 2020 — Fifth International Meeting of the Association for the Philosophy of Mathematical Practice
18 jan 2020 - 21 jan 2020 • Zuerich, Suisse
Identifiant de l'évènement:
1239705
7
Algebraic system, Logic, Language and Related Areas in Computer Sciences Ⅱ
17 fév 2020 - 19 fév 2020 • Kyoto University, Japon
Organisateur:
Kyoto University/Toho University
Identifiant de l'évènement:
1240467
8
CS2T2020 — Catania Set Theory and Topology Conference 2020
18 fév 2020 - 21 fév 2020 • Catania, Italie
Organisateur:
University of Catania, Department of Mathematics and Computer Science
Résumé:
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
Sujets:
set theoretic topology, forcing, large cardinals, descriptive set theory, PCF theory, cardinal invariants.
Identifiant de l'évènement:
1276500
Sujets apparentés:
9
Workshop — Set Theory
05 avr 2020 - 11 avr 2020 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1220476
10
Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
08 nov 2020 - 14 nov 2020 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1220733
11
Information Theory and Data Science Workshop
19 jul 2021 - 23 jul 2021 • Singapore, Singapour
Organisateur:
Institute for Mathematical Sciences/National University of Singapore
Résumé:
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.
Identifiant de l'évènement:
1240783


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Dernière mise à jour: 26 Septembre 2019