Home / Conference Listings / Mathematics / Mathematical Logic and Foundations / Germany

Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  Germany

Select a location
Argentina (1)  Austria (2)  Belgium (1)  Bulgaria (1)  China (1)  Czech Republic (1)  Estonia (1)  Germany (3)  Greece (1)  Poland (1)  Spain (1)  United Kingdom (1)  United States (1)
Germany
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:
1585657
Related subject(s):
Courses and Events for Math Students and Early Career Researchers,    Automated Theorem Proving
Event website:
https://www.mathematics.uni-bonn.de/him/programs/current-trimester-program/him-trimester-program-prospects-of-formal-mathematics
2
Workshop — Information theory, Boolean functions and lattice problems
18 Nov 2024 - 22 Nov 2024 • Bonn, Germany
Organizer:
The Hausdorff Research Institute for Mathematics (HIM)
Abstract:
This workshop brings together leading experts in Boolean analysis, information theory, and lattices to explore the forefront of these disciplines through the talks and discussions about intriguing open problems, recent resolutions, and the evolution of innovative ideas, approaches, and techniques.
Event listing ID:
1623180
Related subject(s):
Information Theory, Foundations of Computer Science
Event website:
https://www.mathematics.uni-bonn.de/him/programs/future/him-dual-trimester-program-boolean-analysis-in-computer-science#wrks4
3
Set Theory
12 Jan 2025 - 17 Jan 2025 • Oberwolfach, Germany
Topics:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1605093
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!

No tracking | No pop-ups | No animations
Last updated: 10 June 2024