Summer Graduate School — Formalization of Mathematics

Expired
Dates : 05 June 2023 » 16 June 2023
Place : MSRI, Berkeley, CA
United States

Book your hotel

Organizer : Mathematical Sciences Research Institute (MSRI)
Topic : Mathematics and Statistics; 0
Mathematics and Statistics; Engineering and Technology;
Keywords: Mathematics, Technology
Description :

Computational proof assistants now make it possible to develop global, digital mathematical libraries with theorems that are fully checked by computer. This summer school will introduce students to the new technology and the ideas behind it, and will encourage them to think about the goals and benefits of formalized mathematics. Students will learn to use the Lean interactive proof assistant, and by the end of the session they will be in a position to formalize mathematics on their own, join the Lean community, and contribute to its mathematical library.

Summer Graduate School — Formalization of Mathematics to be held in MSRI, Berkeley, CA, United States between 05 June 2023 and 16 June 2023. It is organised by Mathematical Sciences Research Institute (MSRI). It covers specific areas of Mathematics and Statistics such as 0. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Add to calendar 2023-06-05 2023-06-16 Europe/London Summer Graduate School — Formalization of Mathematics https://www.sciencedz.net/en/conference/94795-summer-graduate-school-formalization-of-mathematics MSRI, Berkeley, CA - United States Mathematical Sciences Research Institute (MSRI)
Share
Add to Favorites
Embed
Info Cheap flights Best hotel deals
Cheap flights, train and bus tickets

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 United States 2023: Discover the latest trends and research in Mathematics and Statistics by attending conferences across United States in 2023. Network with professionals, researchers, and industry leaders to stay at the forefront of technological advancements.
Conferences and seminars in United States
Conferences and seminars in United States 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 United States
Conferences and seminars in Mathematics and Statistics in United States in 2023
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.