k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
[[K-user] ] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION
Chronological Thread
- From: Andrei Sipoș <andrei.v.sipos AT gmail.com>
- To: undisclosed-recipients:;
- Subject: [[K-user] ] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION
- Date: Fri, 14 Jul 2023 11:25:56 +0300
- Authentication-results: ppops.net; spf=softfail smtp.mailfrom=andrei.v.sipos AT gmail.com; dkim=fail header.s=20221208 header.d=gmail.com; dmarc=fail header.from=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/
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/
- [[K-user] ] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION, Andrei Sipoș, 07/14/2023
Archive powered by MHonArc 2.6.24.