[fg-arc] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION

Andrei Sipoș andrei.v.sipos at gmail.com
Fri Jul 14 10:25:56 CEST 2023


           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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20230714/abf3a597/attachment.htm>


More information about the fg-arc mailing list