coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jeremy Avigad <avigad AT cmu.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020
- Date: Thu, 18 Jul 2019 09:20:47 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=avigad AT cmu.edu; spf=Pass smtp.mailfrom=avigad AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-lf1-f47.google.com
- Ironport-phdr: 9a23:Y12xvhPRxN/u5kxCH+Ul6mtUPXoX/o7sNwtQ0KIMzox0Lf38rarrMEGX3/hxlliBBdydt6sezbSL+P66EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCejbb9oLRi7rQrdu8gIjYB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgzoFOTEk6mHaksN/gqJVrhyiuhJx3ZLbbZqPO/ZiZK7QZ88WSXZDU8tXSidPApm8b4wKD+cZOehXsZP9qEULrRq+GAKhGP3vyj5HhnDswKIxzuMsHhvY3AwhENIBqmnboc7pO6cXTOC51rfHwijeb/5P3zr29YbGchckof6WXLJwd9LcxlUqFwPYlFmft5HqPy6T2+8QsGab9/JtWfyzh2MjsQ18oTiiyt0xhoTIhI8Z0F/J+Cd/zY0oP9O3UlR7bsShEJZItyGVKY92QsQ6TmFtoik6y7kGtYe/fCgE1Zgr3hDfZvOFfoSS7RLjU+GRITh8hH17Yr6wmxGy8U24xu39UMm7zkpKozJbntXQsn0BzR/e58idRvdg/0qs2yyD2g/R5+1cJEA7j6vbK5ovwr4qkZoTtFzOETXomEX3g6+ZbFgr9/Oy5OThf7rmvIGTNoFuhg7iN6Quh9azDvolPQgTR2Sb4/iz1KX//U3lR7VHluE5kq7AsJzDOcsborO5DBRO34Y46xe/Ci+m384CkXkGKlJFYhOHgJLzN1HAOvCrRcu41l+riXJgw+3MFrznGJTEaHbZw5n7erMoyUNGxQ8ihflB5p1dBvlVKezyVUb9nNfdE1k0PxHikLWvM8l0yo5LATHHOaSeKq6H6QbVtNJqGPGFYcougBi4K/Uh4KSz33owmFtYeafwmJVLNza3GfNpJ0jfan3p0I9YQDU6+zEmRemvs2WsFDtaZnK8RaU5v29pAYSqF4rcAIuonfqM0DrpR8QKNFADMUiFFDLTT6vBQ+0FOXCZJ9InnzAZB+Cs
*Formal Methods in Mathematics / Lean Together 2020* will run from Monday, January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in Pittsburgh, Pennsylvania. The web page is here:
http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020
The meeting is a successor to Lean Together 2019.
The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure.
The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.
Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come. If you are tentatively planning to attend, please tell us now and update us if your plans change. You register via the web page above, or contact the organizers, Jeremy Avigad (avigad AT cmu.edu) and Robert Y. Lewis (rob.y.lewis AT gmail.com).
The meeting is supported by grant FA9550-18-1-0325 from the Air Force Office of Scientific Research. The contents do not necessarily reflect the views of the AFOSR.
http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020
The meeting is a successor to Lean Together 2019.
The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure.
The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.
Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come. If you are tentatively planning to attend, please tell us now and update us if your plans change. You register via the web page above, or contact the organizers, Jeremy Avigad (avigad AT cmu.edu) and Robert Y. Lewis (rob.y.lewis AT gmail.com).
The meeting is supported by grant FA9550-18-1-0325 from the Air Force Office of Scientific Research. The contents do not necessarily reflect the views of the AFOSR.
- [Coq-Club] Formal Methods in Mathematics / Lean Together 2020, Jeremy Avigad, 07/18/2019
Archive powered by MHonArc 2.6.18.