Conférences - Logique mathématique et fondements

Sélecionner un pays
TOUS LES PAYS (10)
1
Workshop — Set Theory
05 avr 2020 - 11 avr 2020 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
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, Canada
Résumé:
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.
Identifiant de l'évènement:
1329828
3
ICOPCOM — International Conferenceon Open Problems in Computer Science and Mathematics
27 mai 2020 - 31 mai 2020 • Antalya, Turquie
Organisateur:
Organized by Jadra University and International Center for Scientific Research and Studies (ICOPCM)
Résumé:
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:
Tél.: [00962780805011];     Email.: i_csrs@yahoo.com
Sujets:
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.
Identifiant de l'évènement:
1325592
4
Foundations and Frontiers of Probabilistic Proofs
29 jui 2020 - 10 jul 2020 • Zurich, Suisse
Organisateur:
Mathematical Sciences Research Institute (MSRI)
Résumé:
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.
Identifiant de l'évènement:
1307746
5
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:
1326194
6
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:
1220788
7
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:
1313019
8
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:
1312210
Sujets apparentés:
9
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
10
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:
1312404


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: 12 Février 2020