Conferences  >  Mathematics  >  Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (14)
1
Model theoretic aspects of the notion of independence and dimension
12 Dec 2022 - 14 Dec 2022 • Kyoto University, Japan
Organizer:
The Research Institute for Mathematical Sciences (RIMS)
Event listing ID:
1490113
Related subject(s):
2
Resolutions in Local Algebra and Singularity Theory
05 Feb 2023 - 11 Feb 2023 • Oberwolfach, Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Abstract:
This is a workshop in commutative algebra, broadly interpreted, with a focus on three areas, all concerned with resolutions in various forms. One is the resolution of singularities of algebraic varieties, which remains a vibrant topic of research. The second is the theory of noncommutative resolution of singularities. Introduced two decades ago, this subject has witnessed remarkable growth developing connections to algebraic geometry, commutative algebra, cluster algebras, and the representation theory of algebras, both commutative and noncommutative, among others. The third intended meaning of the word “resolution” is as in free resolutions of algebras and modules in commutative algebra.
Event listing ID:
1494690
Related subject(s):
3
SpLogIC 2023 — The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information
06 Feb 2023 - 17 Feb 2023 • Campinas, Brazil
Organizer:
São Paulo Research Foundation (Fapesp)
Abstract:
The SPLogIC, funded by the São Paulo Research Foundation (Fapesp), aims to provide an overview of the state-of-the-art methodology and research on contemporary logic (featuring non-classical logics), rationality, and information.
Topics:
History and Philosophy of Paraconsistent Logics • The Australian, Belgian, Brazilian, Israeli, and Polish Schools on Paraconsistency • Logic and Reasoning • Logic and Information • Logic and Argumentation • Methodological Aspects on Interpreting, Translating, and Combining Logics • Logic, Probability, and Artificial Intelligence
Event listing ID:
1520027
4
CSL’23 — Computer Science Logic 2023
13 Feb 2023 - 17 Feb 2023 • Warsaw, Poland
Organizer:
CSL is the annual conference of the European Association for Computer Science Logic (EACSL).
Abstract:
An interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL’23 is hosted by the University of Warsaw.
Abstract submission deadline:
09 Jul 2022
Event listing ID:
1520039
5
BIRS Workshop — Neostability
19 Feb 2023 - 24 Feb 2023 • Banff, Alberta, Canada
Organizer:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Abstract:
Stability theory, in the sense of mathematical logic, consists of a collection of technical methods first developed to address the logical problem of classifying abstract models of mathematical theories. Stability theory has proven to be applicable to other mathematical problems such as understanding rational solutions of algebraic equations. It has recently been shown that the techniques and methods used for the classification described above can be used in much more general settings with applications to other areas of mathematics such as algebraic geometry, additive combinatorics and extremal graph theory. Researchers at this meeting will study these developments to deepen these applications, and to extend the scope of stability theory to an even wider range of mathematical theories.
Event listing ID:
1498896
6
Type Theory, Constructive Mathematics and Geometric Logic
01 May 2023 - 05 May 2023 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Abstract:
The debate between Hilbert and Brouwer, which took place at the beginning of the 20th century, is without doubt one of the most important events in the history of foundations of mathematics. In that debate Brouwer rejected transcendent proof methods and insisted on the exclusive use of intuitionist (or constructive) arguments for a conceptually correct development of mathematics. Hilbert, on the contrary, viewed these transcendental and non-effective proofs as the very essence of mathematical thinking. He introduced proof theory in the hope to justify these transcendent methods by purely effective means. While Gödel’s second incompleteness theorem is generally said to contravene Hilbert’s hopes, it is remarkable that Gödel himself insisted on the fact that his result does not contradict at all Hilbert’s program. In fact, the impact of Gödel’s result on Hilbert’s program was the topic of a discussion between Gödel, Herbrand and Neumann about the fundamental question of the scope of constructive mathematics. Recent results in different fields of mathematics, such as proof theory, type theory, constructive algebra and categorical logic, shed new light on this question. For instance, proof theory seems to indicate precise limits to intuitionistic type theory, while on the other hand the Univalence Axiomallows for a rather unexpected extension of constructive methods. The goal of this workshop is precisely to bring together experts in these different fields to evaluate the impact of those new results on foundations of mathematics.
Event listing ID:
1503037
Related subject(s):
7
Workshop on the Frontiers of Set Theory
05 Jun 2023 - 09 Jun 2023 • The Fields Institute, Toronto, Ontario, Canada
Organizer:
The Fields Institute
Abstract:
This workshop will be less focused in nature and will bring together small groups of experts centered around emerging applications of set theory. This will include applications of set-theory in algebraic topology and homological algebra, operator algebras (for instance Koszmider's solution to Anderson's conjecture), Keisler's order in model theory, and the geometry of Banach spaces.
Event listing ID:
1461227
8
CMO/Banff Workshop — Set-Theoretic Topology
30 Jul 2023 - 04 Aug 2023 • Oaxaca, Mexico
Organizer:
Casa Matemática Oaxaca (CMO)
Abstract:
The workshop is designed to explore the interactions that exists between set theory, topology, and algebra. The focus of the workshop will be on the study of topological problems of set-theoretic flavor arising in topological algebra and algebraic topology, as well as the study of topological games and homogeneity.
Event listing ID:
1503768
Related subject(s):
9
Workshop — Operator Algebras and Applications: Connections with Logic
28 Aug 2023 - 01 Sep 2023 • The Fields Institute, Toronto, Ontario, Canada
Organizer:
The Fields Institute
Abstract:
Scheduled as part of Thematic Program on Operator Algebras and Applications
Event listing ID:
1494486
Related subject(s):
10
CMO/Banff Workshop — Group Actions on Cantor Sets
03 Sep 2023 - 08 Sep 2023 • Oaxaca, Mexico
Organizer:
Casa Matemática Oaxaca (CMO)
Abstract:
In the recent development of Mathematics, the study of symmetry of highly singular objects has contributed to the simultaneous understanding of symmetries and groups. The aims of the Workshop are the study of symmetries of the Cantor set, and the understanding of the groups arising as symmetries of the Cantor set.
Event listing ID:
1503720
Related subject(s):
11
XVII International Luminy Workshop in Set Theory
09 Oct 2023 - 13 Oct 2023 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1503136
12
Ecology, epidemiology and evolution
23 Oct 2023 - 27 Oct 2023 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1503112
13
Mathematical Logic: Proof Theory, Constructive Mathematics
12 Nov 2023 - 18 Nov 2023 • Oberwolfach, Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1495265
Related subject(s):
14
School — Recent developments in set theory
12 Nov 2023 - 18 Nov 2023 • Będlewo, Poland
Organizer:
Banach Center & Polish Academy of Sciences – Institute of Mathematics
Abstract:
To disseminate some of the recent developments in set theory. The conference will have 5-6 parallel tutorials that will disseminate modern techniques. The tutorials will be aimed at both graduate students as well as senior researchers.
Event listing ID:
1526216


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!

No tracking | No pop-ups | No animations
Last updated: 29 November 2022