Workshop — Formalization of Mathematics

Dates : 17 June 2024 » 21 June 2024
Place : Bonn
Germany

Book your hotel

Organizer : Hausdorff Research Institute for Mathematics (HIM)
Topic : Mathematics and Statistics; Mathematical Logic
Mathematics and Statistics;
Keywords: Logic, Mathematics
Description :

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.

Workshop — Formalization of Mathematics to be held in Bonn, Germany between 17 June 2024 and 21 June 2024. It is organised by Hausdorff Research Institute for Mathematics (HIM). It covers specific areas of Mathematics and Statistics such as Mathematical Logic. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Add to calendar 2024-06-17 2024-06-21 Europe/London Workshop — Formalization of Mathematics https://www.sciencedz.net/en/conference/107189-workshop-formalization-of-mathematics Bonn - Germany Hausdorff Research Institute for Mathematics (HIM)
Share
Add to Favorites
Embed
Info Cheap flights Best hotel deals
Cheap flights, train and bus tickets

Related sections :

Conferences and seminars in Germany
Conferences and seminars in Germany in 2024
Conferences and seminars in Mathematics and Statistics
Conferences and seminars in Mathematics and Statistics in 2024
Conferences and seminars in Mathematics and Statistics in Germany
Conferences and seminars in Mathematics and Statistics in Germany in 2024
All events
Events by country

Submit a conference (FREE)

Stay informed



Disclaimer : We aim to provide correct and reliable information about upcoming events, but cannot accept responsibility for the text of announcements or for the bona fides of event organizers. Please feel free to contact us if you notice incorrect or misleading information and we will attempt to correct it.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.