Conférences - Logique mathématique

Sélecionner un pays:
Allemagne (3) - Autriche (1) - Chili (1) - Espagne (1) - France (1) - Géorgie (1) - Hongrie (1) - Japon (4) - Kazakhstan (1) - Lettonie (2) - Mexique (1) - Royaume-Uni (1) - République tchèque (2) - Singapour (1) - Suisse (1)

TOUS LES PAYS

1
IJCRS 2019 — International Joint Conference on Rough Sets 2019
17 jui 2019 - 21 jui 2019 • Debrecen, Hongrie
Organisateur:
University of Debrecen
Identifiant de l'évènement:
1219755
2
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23 jui 2019 - 25 jui 2019 • Astana, Kazakhstan
Résumé:
The conference will be co-located with The Sixteenth Asian Logic Conference
Sujets:
Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic.
Identifiant de l'évènement:
1180753
3
L19 — Logica 2019
24 jui 2019 - 28 jui 2019 • Hejnice, République tchèque
Résumé:
Logica 2019 will be the 33rd in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 24 – 28 June 2019. Invited speakers are David Makinson, Per Martin-Löf, Alessandra Palmigiano and David Ripley.

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 for ‘mathematically’ oriented logicians.

Contact:
Tél.: [+420731515692];     Email.: vit.puncochar@centrum.cz
Sujets:
philosophical logic, mathematical logic, formal semantics
Identifiant de l'évènement:
1170208
4
ICFCA 2019 — Formal Concept Analysis
25 jui 2019 - 26 jui 2019 • Francfort, Allemagne
Résumé:
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery. The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Environment, Life and Social Sciences, etc.
Identifiant de l'évènement:
1127602
5
7ESTC — 7th European Set Theory Conference
01 jul 2019 - 05 jul 2019 • Vienne, Autriche
Résumé:
he conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society.
Identifiant de l'évènement:
1219789
6
CiE 2019 — 15th Conference on Computability in Europe,
15 jul 2019 - 19 jul 2019 • Durham, Royaume-Uni
Résumé:
CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Identifiant de l'évènement:
1127601
7
19w5064 — Set theory of the Reals
04 aou 2019 - 09 aou 2019 • Oaxaca, Mexique
Organisateur:
Casa Matemática Oaxaca (CMO)
Identifiant de l'évènement:
1139444
8
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 aou 2019 - 15 aou 2019 • Riga, Lettonie
Résumé:
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. Proposals for courses and workshops at ESSLLI 2019 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses. Each proposal should fall under one of the following categories: 'Foundational Courses', 'Introductory Courses', 'Advanced Courses' or 'Workshops'.
Identifiant de l'évènement:
1064804
9
ESSLLI 2019 — 31st European Summer School in Logic, Language and Information
05 aou 2019 - 16 aou 2019 • Riga, Lettonie
Résumé:
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.
Identifiant de l'évènement:
1127688
10
LC2019 — Logic Colloquium
11 aou 2019 - 16 aou 2019 • Prague, République tchèque
Résumé:
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic. It is aimed at researchers from all areas of logic. This year's event will include special sessions on the following topics: Set Theory, Model Theory, Reflection Principles and Modal Logic, Proof Theory and Proof Complexity, Computability, and Foundations of Geometry and will include the following invited speakers: Hannes Leitgeb (Munich), Michael Rathjen (Leeds), Dilip Raghavan (Singapore), Ulrich Kohlenbach (Darmstadt), Samson Abramsky (Oxford), Zoé Chatzidakis (Paris), Osvaldo Guzman (Toronto), Matthew Harrison-Trainor (Wellington), Jan Krajíček (Prague), Vincenzo de Risi (Paris), Gil Sagi (Haifa), Thomas Scanlon (Berkeley), Rineke Verbrugge (Groningen), and Martin Ziegler (KAIST, Korea).
Contact:
Email.: org@lc2019.cz
Sujets:
Set Theory, Model Theory, Reflection Principles and Modal Logic, Proof Theory and Proof Complexity, Computability, Foundations of Geometry
Identifiant de l'évènement:
1213548
Page web:
11
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 sep 2019 • Tbilisi State University, Géorgie
Résumé:
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten instalments of this series of biannual Symposia.
Identifiant de l'évènement:
1127653
12
XVe atelier international de théorie des ensembles — 15th International Luminy Workshop in Set Theory
23 sep 2019 - 27 sep 2019 • CIRM – Luminy, France
Organisateur:
Centre International de Rencontres Mathématiques (CIRM)
Résumé:
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.
Identifiant de l'évènement:
1212106
13
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:
1240608
14
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:
1240617
Sujets apparentés:
15
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:
1239673
16
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:
1240515
17
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
18
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:
1239661
19
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:
1240489
20
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
21
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:
1220700
22
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:
1240816


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!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

AIP Conference Proceedings

Dernière mise à jour: 18 Juin 2019