[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] ITP2023 Call for Participation
===============================
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 Ciolkowskiego 1M, 15-245 Bialystok, 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@mizar.uwb.edu.pl