<div dir="ltr">           ILDS Coq and Lean Autumn School 2023<br>            interactive theorem proving school<br>            <br>         September 18-20, 2023, Bucharest, Romania<br>          <a href="https://events.ilds.ro/autumnschool2023/">https://events.ilds.ro/autumnschool2023/</a><br>                 co-located with FROM 2023<br>               <a href="https://from2023.cs.unibuc.ro">https://from2023.cs.unibuc.ro</a><br><br><br>DESCRIPTION<br>-----------<br><br>The ILDS Coq and Lean Autumn School 2023 aims to introduce potential<br>students to the Coq and Lean proof assistants, as well as to<br>theoretical underpinnings of interactive theorem proving. It is the<br>second school on interactive theorem proving organized in Bucharest,<br>following the ICUB Coq Autumn School, which was held in September 2018.<br><br>The event is co-located with FROM 2023 (<a href="https://from2023.cs.unibuc.ro/">https://from2023.cs.unibuc.ro/</a>),<br>whose participants are eligible for a special discounted fee for the school.<br><br>ORGANIZERS<br>----------<br><br>Institute for Logic and Data Science (ILDS, <a href="https://ilds.ro/">https://ilds.ro/</a>)<br>Research Center for Logic, Optimization and Security (LOS), University of Bucharest (<a href="https://los.cs.unibuc.ro/">https://los.cs.unibuc.ro/</a>)<br><br>SPEAKERS<br>--------<br><br>Horațiu Cheval (University of Bucharest)<br>Vlad Rusu (INRIA Lille)<br>Andrei Sipoș (University of Bucharest & ILDS & IMAR)<br>Julian Sutherland (Nethermind)<br>Traian Florin Șerbănuță (RV & University of Bucharest & ILDS)<br><br>COURSES<br>-------<br><br>Andrei Sipoș, Introduction to Type Theory for Interactive Theorem Proving<br>Vlad Rusu, Traian Florin Șerbănuță, Introduction to Coq<br>Julian Sutherland, Horațiu Cheval, Introduction to Lean<br><br>No parallel sessions are planned, so it will be possible to attend all<br>the courses.<br><br>REGISTRATION<br>------------<br><br>The registration fee is 150 EUR for the general public and<br>75 EUR for those who participate at FROM 2023.<br>It covers attendance, lunch, coffee breaks, and the official dinner.<br><br>To register, please use the common registration form<br>(<a href="https://forms.gle/aZ7zqK3UNwLeGaRL6">https://forms.gle/aZ7zqK3UNwLeGaRL6</a>) for the ILDS Coq<br>and Lean Autumn School 2023 and FROM 2023. Note that<br>one can still register later, separately, for the autumn school<br>and still benefit from the discount.<br><br>ILDS offers a limited number of fellowships (waiving the<br>registration fee) for students. Students interested in getting<br>a fellowship need to complete an application form<br>(<a href="https://forms.gle/ByrWCxUahQcfK35HA">https://forms.gle/ByrWCxUahQcfK35HA</a>) by 1 August 2023.<br>Applicants will be notified by 14 August 2023.<br><br>IMPORTANT DATES<br>---------------<br><br>Deadline for fellowship (fee waiver) application: 1 August 2023<br>Notification of fellowship applicants: 14 August 2023<br>Deadline for registration: 7 September 2023<br>School: 18-20 September 2023<br><br>***************<br><br>Further information is available on our website,<br><a href="https://events.ilds.ro/autumnschool2023/">https://events.ilds.ro/autumnschool2023/</a><br></div>