Email Gateway (Jun 01 2023 at 13:34): Email Gateway (Jun 01 2023 at 13:34):From: "Thiemann, René" <Rene.Thiemann@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:
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:
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:
After June 30, 2023 and before July 15, 2023 late registration fees apply:
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@mizar.uwb.edu.pl
Last updated: Apr 29 2024 at 01:08 UTC