Tagungen und Workshops zum Thema Mathematische Logik, Grundlagen der Mathematik

Wählen Sie ein Land aus
ALLE LÄNDER (10)
1
Workshop — Set Theory
05. Apr 2020 - 11. Apr 2020 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1220476
2
5 Day Workshop at BIRS — A Convergence of Computable Structure Theory, Computable Analysis, and Randomness
17. Mai 2020 - 22. Mai 2020 • Banff, Alberta, Kanada
Zusammenfassung:
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.
Eintrags-ID:
1329828
3
ICOPCOM — International Conferenceon Open Problems in Computer Science and Mathematics
27. Mai 2020 - 31. Mai 2020 • Antalya, Türkei
Veranstalter:
Organized by Jadra University and International Center for Scientific Research and Studies (ICOPCM)
Zusammenfassung:
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
Kontakt:
Tel.: [00962780805011];     Email: i_csrs@yahoo.com
Themen:
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.
Eintrags-ID:
1325592
Verwandte Fachgebiete:
4
Foundations and Frontiers of Probabilistic Proofs
29. Jun 2020 - 10. Jul 2020 • Zürich, Schweiz
Veranstalter:
Mathematical Sciences Research Institute (MSRI)
Zusammenfassung:
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.
Eintrags-ID:
1307746
5
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:
1326194
6
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:
1220788
7
Computability Theory
25. Apr 2021 - 01. Mai 2021 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1313019
8
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:
1312210
Verwandte Fachgebiete:
9
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:
1240761
10
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:
1312404


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 12. Februar 2020