Lean for the Curious Mathematician 2023
ExpiredDates : 04 September 2023 » 07 September 2023
Place : Heinrich Heine University Düsseldorf, Düsseldorf
Germany
Germany
Book your hotel
Organizer :
Topic : Mathematics and Statistics; General Mathematical Research and Multidisciplinary Events
Mathematics and Statistics; Keywords: Mathematics
Description :
Are you curious what the excitement around the proof assistant Lean is all about? Are you intrigued by recent successes in the formalization of deep mathematical theorems, and would like to understand more concretely what this formalization entails? Do you find yourself wondering how far your favorite area of mathematics is still away from being formalized, and what lies ahead?
Then Lean for the Curious Mathematician is for you! The 2023 edition will comprise two consecutive but independent events: an intensive four-day tutorial (listed here), followed by a shorter colloquium for the impatient (listed separatedly).
Lean for the Curious Mathematician 2023 to be held in Heinrich Heine University Düsseldorf, Düsseldorf, Germany between 04 September 2023 and 07 September 2023. It covers specific areas of Mathematics and Statistics such as General Mathematical Research and Multidisciplinary Events. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Find More Related Conferences
Looking for more scientific conferences to attend? Explore a wide range of upcoming events in various fields and locations. Whether you're looking for specialized topics, specific locations, or dates, we have a wide range of conferences to choose from.Mathematics and Statistics Conferences in Germany 2023: Discover the latest trends and research in Mathematics and Statistics by attending conferences across Germany in 2023. Network with professionals, researchers, and industry leaders to stay at the forefront of technological advancements.
Conferences and seminars in Germany
Conferences and seminars in Germany in 2023
Conferences and seminars in Mathematics and Statistics
Conferences and seminars in Mathematics and Statistics in 2023
Conferences and seminars in Mathematics and Statistics in Germany
Conferences and seminars in Mathematics and Statistics in Germany in 2023
All events
Events by country
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.
