Lean for the Curious Mathematician 2023
ExpiredDates : 04 setembro 2023 » 07 setembro 2023
Place : Heinrich Heine University Düsseldorf, Düsseldorf
Alemanha
Alemanha
Book your hotel
Organizer :
Topic : Matemática e Estatística; General Mathematical Research and Multidisciplinary Events
Matemática e Estatística; 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, Alemanha between 04 setembro 2023 and 07 setembro 2023. It covers specific areas of Matemática e Estatística 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.Matemática e Estatística Conferences in Alemanha 2023: Discover the latest trends and research in Matemática e Estatística by attending conferences across Alemanha in 2023. Network with professionals, researchers, and industry leaders to stay at the forefront of technological advancements.
Conferences and seminars in Alemanha
Conferences and seminars in Alemanha in 2023
Conferences and seminars in Matemática e Estatística
Conferences and seminars in Matemática e Estatística in 2023
Conferences and seminars in Matemática e Estatística in Alemanha
Conferences and seminars in Matemática e Estatística in Alemanha in 2023
Todos os eventos
Events by country
Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.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.
