Home / Conference Listings / Mathematics / Mathematical Logic and Foundations

Conferences  >  Mathematics  >  Mathematical Logic and Foundations

Select a location
Argentina (1)  - France (1)  - Germany (3)  - Poland (1)
ALL COUNTRIES (6)
1
Trimester Program — Prospects of formal mathematics
06 May 2024 - 16 Aug 2024 • Bonn, Germany
Organizer:
Hausdorff Research Institute for Mathematics (HIM)
Abstract:
The goal of this program is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. At the same time the goal is to provide a platform for junior researchers to enter Formal Mathematics. A central, unifying theme is to break down adoption barriers of formal methods in Mathematics.
Event listing ID:
1585580
Related subject(s):
Courses and Events for Math Students and Early Career Researchers,    Automated Theorem Proving
Event website:
https://www.him.uni-bonn.de/en/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/description/
2
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
13 May 2024 - 17 May 2024 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1574696
Event website:
https://conferences.cirm-math.fr/2024-calendar.html
3
Workshop — Formalization of Mathematics
17 Jun 2024 - 21 Jun 2024 • Bonn, Germany
Organizer:
Hausdorff Research Institute for Mathematics (HIM)
Abstract:
This workshop is devoted to the central theme of the Trimester: How do current and future developments of Formal Mathematics impact and assist active research in central areas of pure mathematics. Talks will focus on examples of such interactions, as well as on the development of adequate techniques. Some half-days will be reserved for informal demonstrations, collaborations and co-working.
Event listing ID:
1585626
Event website:
https://www.him.uni-bonn.de/en/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/formalization-of-mathematics/
4
QPL 2024 — 21st International Conference on Quantum Physics and Logic
15 Jul 2024 - 19 Jul 2024 • Buenos Aires, Argentina
Abstract:
The 21st International Conference on Quantum Physics and Logic (QPL 2024) will take place from July 15th to 19th, 2024, at the Instituto de Ciencias de la Computación in Buenos Aires, Argentina. Quantum Physics and Logic is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition. Work applying quantum-inspired techniques and structures to other fields, such as linguistics, artificial intelligence, and causality, is also welcome.
Event listing ID:
1592295
Related subject(s):
Photonics, Optoelectronics and Display Devices,    Quantum Mechanics and Quantum Technology
Event website:
https://qpl2024.dc.uba.ar/
5
On geometric complexity of Julia sets V
21 Jul 2024 - 26 Jul 2024 • Będlewo, Poland
Organizer:
Banach Center
Event listing ID:
1566423
Event website:
https://www.impan.pl/en/activities/banach-center/conferences?y=2024
6
Set Theory
12 Jan 2025 - 17 Jan 2025 • Oberwolfach, Germany
Topics:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1605148
Event website:
https://www.mfo.de/occasion/2503/www_view


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!

COMS Mobile App for Academic Conferences
Open Access proceedings in Information Technology, Computer Science and Mathematics
Open Access Proceedings Journals for Academic Conferences
No tracking | No pop-ups | No animations
Last updated: 7 February 2024