Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (10)
1
Workshop — Set Theory
05 Apr 2020 - 11 Apr 2020 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1220476
2
5 Day Workshop at BIRS — A Convergence of Computable Structure Theory, Computable Analysis, and Randomness
17 May 2020 - 22 May 2020 • Banff, Alberta, Canada
Abstract:
This workshop focuses on the newly developing connection between computable structure theory, computable analysis, and algorithmic randomness. Historically, computable structure theory has been centered around countable algebraic structures such as algebraically closed fields and linear orders. However, with some care, it is possible to study uncountable structures such as Banach spaces and metric spaces in this context and to define the notion of an algorithmically random structure. This workshop will bring together researchers in these three areas to build on recent advances in the intersection of these topics and develop new questions in and new approaches to this emerging field of study.
Event listing ID:
1329762
3
ICOPCOM — International Conferenceon Open Problems in Computer Science and Mathematics
27 May 2020 - 31 May 2020 • Antalya, Turkey
Organizer:
Organized by Jadra University and International Center for Scientific Research and Studies (ICOPCM)
Abstract:
The aims of the International Conference on Open Problems in computer Science and Mathematics (ICOPCM) are to provide a lively forum for the communication of original research papers and timely review articles on open problems in Mathematics. ICOPCM will publish only articles of the highest quality. Submissions will be evaluated on their originality and significance. ICOPCM invites submissions in all areas of Mathematics
Contact:
Phone: [00962780805011];     Email: i_csrs@yahoo.com
Topics:
APPLIED MATHEMATICS AND MODELING: Computational Methods, Ordinary and Partial Differential Equations, Mathematical Modeling and Optimization, Bio Mathematics, Data Analysis and related topics. · NUMERICAL ANALYSIS AND APPLICATIONS: Linear systems of equations, Nonlinear systems of equations and optimization, Interpolation and approximation, Integration, Differential equations, Theory and practice of computational methods, mathematical physics, and other applied fields; Mathematical models of elasticity theory, hydrodynamics, fluid dynamics, and geophysics; Parallelizing of algorithms; Models and methods of bioinformatics. · ANALYSIS AND ITS APPLICATIONS: Approximation Theory and Its Applications, Ergodic Theory, Sequence Spaces and Summability, Fixed Point Theory, Functional Analysis and Its Applications and related topics. · ALGEBRA and RELATED TOPICS: Ring and Module theory, Group theory, Semigroup theory, Linear Algebra, Algebraic combinatorics, Algebraic graph theory, Homological Algebra, Algebraic topology, Fuzzy Algebra, Cryptography. · APPLIED ALGEBRA AND ITS APPLICATIONS: Cryptography, Combinatorics and Its Applications, Cellular Automata, Computational Algebra, Computational Group Theory and related topics, Information Theory and Error Correcting Codes. · GEOMETRY AND ITS APPLICATIONS: Algebraic Geometry and Its Applications, Differential Geometry, Kinematics and related topics. · STATISTICS AND ITS APPLICATIONS: Statistics and its applications, Probability and Statistics Applications.
Event listing ID:
1325614
Related subject(s):
4
Foundations and Frontiers of Probabilistic Proofs
29 Jun 2020 - 10 Jul 2020 • Zurich, Switzerland
Organizer:
Mathematical Sciences Research Institute (MSRI)
Abstract:
In recent years, such probabilistic proofs received much attention due to a new motivation, delegation of computation, which is the emphasis of this summer school. This paradigm admits ultra-fast protocols that allow one party to check the correctness of the computation performed by another, untrusted, party. These protocols have even been realized within recently-deployed technology, for example, as part of cryptographic constructions known as succinct non-interactive arguments of knowledge (SNARKs). 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.
Event listing ID:
1307746
5
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:
1326249
6
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:
1220711
7
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1312931
8
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:
1312210
Related subject(s):
9
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:
1240849
10
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:
1312459


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: 12 February 2020