Hausdorff School — Formal Mathematics and Computer-Assisted Proving

Expired
Dates : 18 setembro 2023 » 22 setembro 2023

Place : Bonn
Alemanha

Book your hotel


Organizer : Hausdorff Center for Mathematics – hcm (Universität Bonn)

Topic : Matemática e Estatística; Courses and Events for Math Students and Early Career Researchers
Matemática e Estatística;
Keywords: Mathematics
Description :

The last decade has witnessed tremendous advances in both interactive and automated theorem proving, and we are arguably on the doorstep of a new era, in which interactive theorem provers validate ground-breaking mathematical research in a reasonably short time, as shown in Peter Scholze's Liquid Tensor Experiment. This new area is driven both by new software and by a growing community of users. In addition, we have seen the advent of new software that guides mathematicians in finding proofs, helps them develop new conjectures or even generates a proof or part of a proof with minimal human input. This HSM will highlight both these developments.


Hausdorff School — Formal Mathematics and Computer-Assisted Proving to be held in Bonn, Alemanha between 18 setembro 2023 and 22 setembro 2023. It is organised by Hausdorff Center for Mathematics – hcm (Universität Bonn). It covers specific areas of Matemática e Estatística such as Courses and Events for Math Students and Early Career Researchers. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Add to calendar 2023-09-18 2023-09-22 Europe/London Hausdorff School — Formal Mathematics and Computer-Assisted Proving https://www.sciencedz.net/pt/conference/99556-hausdorff-school-formal-mathematics-and-computer-assisted-proving Bonn - Alemanha Hausdorff Center for Mathematics – hcm (Universität Bonn)

Info Cheap flights Best hotel deals

Related sections :

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.