Conférences - Logique mathématique et fondements

Sélecionner un pays
TOUS LES PAYS (14)
1
ICIFS'2020 — 24th International Conference on Intuitionistic Fuzzy Sets
08 oct 2020 - 09 oct 2020 • Burgas, Bulgarie
Organisateur:
Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences
Résumé:
The aim of the annual International Conference on Intuitionistic Fuzzy Sets (ICIFS) is to gather specialists interested in intuitionistic fuzziness, decision making under uncertainty, and other related topics, and to give them floor for discussions on both the theoretical and practical aspects of this relatively new area of fuzzy set theory. Since 2013, ICIFS has been an EUSFLAT endorsed event.
Contact:
ICIFS'2020 Secretariat;     Tél.: [0035929793609];     Email.: icifs.office@gmail.com
Sujets:
Intuitionistic fuzzy sets, Intuitionistic fuzzy logic, Extensions of fuzzy sets, Decision making under uncertainty, Uncertainty, Soft computing, Intuitionism
Identifiant de l'évènement:
1326249
2
TLLM 2020 — Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
30 oct 2020 - 01 nov 2020 • Pékin, Chine
Organisateur:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Résumé:
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
Identifiant de l'évènement:
1356654
3
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:
1220744
4
CSL'21 — Computer Science Logic
25 jan 2021 - 28 jan 2021 • Ljubljana, Slovénie
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:
1356633
5
Computability Theory
25 avr 2021 - 01 mai 2021 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1312953
6
Théorie des types, mathématiques constructives et logique géométrique
03 mai 2021 - 07 mai 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312287
Sujets apparentés:
7
Summer Graduate School — Foundations and Frontiers of Probabilistic Proofs
28 jui 2021 - 09 jul 2021 • Zurich, Suisse
Organisateur:
MRSI – Mathematical Sciences Research Institute, Berkeley | ETH Zurich, Switzerland
Résumé:
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.
Identifiant de l'évènement:
1376563
8
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:
1240761
9
LC 2021 — Logic Colloquium 2021
19 jul 2021 - 24 jul 2021 • Poznan, Pologne
Résumé:
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
Identifiant de l'évènement:
1356689
Page web:
10
New Frontiers in Proofs and Computation
12 sep 2021 - 17 sep 2021 • Hangzhou, Chine
Organisateur:
Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Résumé:
This workshop is dedicated to Hao Wang, for his pioneering work in connecting human and formal thinking that permeates (O1)-(O3). A greater understanding of these topics will no doubt lead to a better understanding of computation in mathematics and computer science, and increase the prominence of mathematical logic and proof theory in China, Asia, and the world.
Identifiant de l'évènement:
1364870
11
XVIe atelier international de théorie des ensembles
13 sep 2021 - 17 sep 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312415
12
Neostability Theory
31 oct 2021 - 05 nov 2021 • Hangzhou, Chine
Organisateur:
Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Résumé:
Stability theory, in the sense of mathematical logic, consists of a collection of technical methods first developed to address the logical problem of classifying abstract models of mathematical theories. Stability theory has proven to be applicable to other mathematical problems such as understanding rational solutions of algebraic equations. It has recently been shown that the techniques and methods used for the classification described above can be used in much more general settings with applications to other areas of mathematics such as algebraic geometry, additive combinatorics and extremal graph theory. Researchers at this meeting will study these developments to deepen these applications, and to extend the scope of stability theory to an even wider range of mathematical theories.
Identifiant de l'évènement:
1364954
13
Logique et interactions — Logic and Interactions
24 jan 2022 - 25 jan 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
THEMATIC MONTH
Identifiant de l'évènement:
1369314
Sujets apparentés:
14
Nouvelles directions en calculabilité — New Directions in Computability Theory
07 mar 2022 - 11 mar 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
CONFERENCE
Identifiant de l'évènement:
1369301


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: 18 Septembre 2020