Tagungen und Workshops zum Thema Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (9)
1
ICIFS'2020 — 24th International Conference on Intuitionistic Fuzzy Sets
08. Okt 2020 - 09. Okt 2020 • Burgas, Bulgarien
Veranstalter:
Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences
Zusammenfassung:
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.
Kontakt:
ICIFS'2020 Secretariat;     Tel.: [0035929793609];     Email: icifs.office@gmail.com
Themen:
Intuitionistic fuzzy sets, Intuitionistic fuzzy logic, Extensions of fuzzy sets, Decision making under uncertainty, Uncertainty, Soft computing, Intuitionism
Eintrags-ID:
1326227
2
TLLM 2020 — Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
30. Okt 2020 - 01. Nov 2020 • Peking, China
Veranstalter:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Zusammenfassung:
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.
Eintrags-ID:
1356709
3
Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
08. Nov 2020 - 14. Nov 2020 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1220766
4
CSL'21 — Computer Science Logic
25. Jan 2021 - 28. Jan 2021 • Ljubljana, Slowenien
Veranstalter:
European Association for Computer Science Logic (EACSL)
Zusammenfassung:
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.
Eintrags-ID:
1356677
5
Computability Theory
25. Apr 2021 - 01. Mai 2021 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1312931
6
Type Theory, Constructive Mathematics and Geometric Logic
03. Mai 2021 - 07. Mai 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312232
Verwandte Fachgebiete:
7
Information Theory and Data Science Workshop
19. Jul 2021 - 23. Jul 2021 • Singapore, Singapur
Veranstalter:
Institute for Mathematical Sciences/National University of Singapore
Zusammenfassung:
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.
Eintrags-ID:
1240827
8
LC 2021 — Logic Colloquium 2021
19. Jul 2021 - 24. Jul 2021 • Poznan, Polen
Zusammenfassung:
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.
Eintrags-ID:
1356634
Webseite:
9
16th International Luminy Workshop in Set Theory
13. Sep 2021 - 17. Sep 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312382


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 19. Mai 2020