Registration fees
- Registration fee for students: 50 EUR / 250 RON
- Registration fee for the general public: 100 EUR / 500 RON
The registration fee covers the symposium kit, lunch, coffee breaks, and the symposium dinner.
To register, please use the common registration form for FROM 2023 and the ILDS-FMI Coq and Lean Autumn School 2023, for which there is a special discounted fee for FROM 2023 participants (note that one can still register later, separately, for the autumn school and still benefit from the discount).