The Coq mailing list

[Thiemann, René <Rene.Thiemann AT uibk.ac.at>]

===============================
ITP 2023 Call for Participation
===============================

The international conference on Interactive Theorem Proving (ITP 2023) will be
held on July 31 to August 4, 2023 in Bialystok, Poland together with three
affiliated workshops:

- Women in EuroProofNet 2023,
- The Coq Workshop,
- Mizar 50 Workshop.

The ITP conference series is concerned with all aspects of interactive theorem
proving, ranging from theoretical foundations to implementation aspects and
applications in program verification, security, and the formalization of
mathematics.

Invited Speakers:
* Angeliki Koutsoukou-Argyraki, University of Cambridge
* Robbert Krebbers, Radboud University Nijmegen

The list of submissions accepted for presentation at the conference is 
available
at:

https://mizar.uwb.edu.pl/ITP2023/program.html

The actual schedule of the conference talks will be announced there at a later
date.

The registration for the conference is now open and the conference fees should
be paid by June 30, 2023:

- Regular fee: 350 EUR,
- Student fee: 200 EUR.

After June 30, 2023 and before July 15, 2023 late registration fees apply:

- Regular fee: 400 EUR,
- Student fee: 250 EUR.

The conference fee covers the attendance costs for the main conference and all
workshops (Monday, July 31 to Friday, August 4), the conference kit, lunches 
and
coffee breaks during the whole event, the excursion and the conference dinner
(on Wednesday, August 2).

More specific information and the registration form is available at:
https://mizar.uwb.edu.pl/ITP2023/registration.html

The conference will take place in the University of Bialystok campus located 
at

ul. Konstantego Ciołkowskiego 1M, 15-245 Białystok, Poland
(53.108448525353765, 23.15431127557337).

A list of hotels closest to the conference venue can be found here:
https://mizar.uwb.edu.pl/ITP2023/venue.html

=================================
Contact: itp2023 AT mizar.uwb.edu.pl