Registration Form
This form allows you to register for FROM 2023 and for the ILDS Coq and Lean Autumn School 2023.

Deadline: 1 September.

If you need help filling in the form, please contact the local organizers at contact@ilds.ro

You will receive a copy of the responses at the email address you provide.
Sign in to Google to save your progress. Learn more
Email *
Which events do you want to participate in?
 *
Required
Full name (as it should appear on the badge)
 *
Affiliation (as it should appear on the badge)
 *
Dietary restrictions (optional)
Payment

If you are not exempted, please transfer the registration fee by the deadline to the following account (mention your name and the event(s) you are participating in in the transfer):

Institutul de Logică și Știința Datelor
IBAN: RO81BTRLEURCRT0644006101 (EUR) / RO34BTRLRONCRT0644006101 (RON)

After this is done, send us an email at contact@ilds.ro with the proof of payment (and write "sent by email" below) or fill the field below with a link to it.
 *
Invoice information

Please state any special information that you need on the invoice, other than name and affiliation. The invoice will be available on-site and we can also send an electronic version by e-mail if needed.
If you would like to add any other information not covered by the fields above, please use this space.
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy
Google Forms