Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (9)
1
ICIFS'2020 — 24th International Conference on Intuitionistic Fuzzy Sets
08 Oct 2020 - 09 Oct 2020 • Burgas, Bulgaria
Organizer:
Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences
Abstract:
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;     Phone: [0035929793609];     Email: icifs.office@gmail.com
Topics:
Intuitionistic fuzzy sets, Intuitionistic fuzzy logic, Extensions of fuzzy sets, Decision making under uncertainty, Uncertainty, Soft computing, Intuitionism
Event listing ID:
1326150
2
TLLM 2020 — Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
30 Oct 2020 - 01 Nov 2020 • Beijing, China
Organizer:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Abstract:
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.
Event listing ID:
1356632
3
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:
1220799
4
CSL'21 — Computer Science Logic
25 Jan 2021 - 28 Jan 2021 • Ljubljana, Slovenia
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:
1356633
5
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1312953
6
Type Theory, Constructive Mathematics and Geometric Logic
03 May 2021 - 07 May 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312232
Related subject(s):
7
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:
1240816
8
LC 2021 — Logic Colloquium 2021
19 Jul 2021 - 24 Jul 2021 • Poznan, Poland
Abstract:
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.
Event listing ID:
1356678
Event website:
9
16th International Luminy Workshop in Set Theory
13 Sep 2021 - 17 Sep 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312360


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: 19 May 2020