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