Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (12)
1
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
2
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1312986
3
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:
1312298
Related subject(s):
4
Advances and Challenges in Hyperbolic Conservation Laws
17 May 2021 - 21 May 2021 • Providence, RI, United States
Organizer:
ICERM
Abstract:
In the field of hyperbolic conservation laws, theory, computation, and applications are deeply connected, with each one providing to the other two technical support as well as insights. Major progress has been achieved, over the past 40 years, on the theory and computation of solutions in one space dimension. By contrast, the multi-space dimensional case is still covered by mist, which is now gradually lifting, revealing new vistas. For instance, in two space dimensions, significant progress has been achieved in the study of transonic gas flow, of central importance to aerodynamics. Parallel progress has been reported on the numerical side, with the design of high-order accurate discontinuous Galerkin and finite volume computational schemes, even for multidimensional systems. Finally, we are witnessing an explosion in the applications, not only on the traditional turf of fluid dynamics but also in new directions, in materials science, biology, traffic theory, etc.
Contact:
Phone: [401 863 5030];     Email: info@icerm.brown.edu
Event listing ID:
1384227
5
Summer Graduate School — Foundations and Frontiers of Probabilistic Proofs
28 Jun 2021 - 09 Jul 2021 • Zurich, Switzerland
Organizer:
MRSI – Mathematical Sciences Research Institute, Berkeley | ETH Zurich, Switzerland
Abstract:
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:
1376563
6
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:
1240761
7
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:
1356645
Event website:
8
New Frontiers in Proofs and Computation
12 Sep 2021 - 17 Sep 2021 • Hangzhou, China
Organizer:
Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Abstract:
This workshop is dedicated to Hao Wang, for his pioneering work in connecting human and formal thinking that permeates (O1)-(O3). A greater understanding of these topics will no doubt lead to a better understanding of computation in mathematics and computer science, and increase the prominence of mathematical logic and proof theory in China, Asia, and the world.
Event listing ID:
1364969
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
10
Neostability Theory
31 Oct 2021 - 05 Nov 2021 • Hangzhou, China
Organizer:
Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
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:
1364987
11
Logic and Interactions
24 Jan 2022 - 25 Jan 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
THEMATIC MONTH
Event listing ID:
1369292
Related subject(s):
12
New Directions in Computability Theory
07 Mar 2022 - 11 Mar 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
CONFERENCE
Event listing ID:
1369356


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: 20 October 2020