Fourteenth Conference on Interactive Theorem Proving
Białystok, Poland, 2023
Address: ul. Konstantego Ciołkowskiego 1M, 15-245 Białystok, Poland
We recommend to reach Bialystok via Warsaw Frederic Chopin Airport (Lotnisko Chopina) and then take a train from the Warsaw Central Railway Station (Warszawa Centralna) to Bialystok. To get to the Central Railway Station, you can take a taxi or a city bus no. 175 which has a stop next to the airport terminal. Railway tickets can be purchased on-line: rozklad-pkp.pl. The train journey from Warsaw to Bialystok takes about two and a half hours.
If you fly to Warsaw/Modlin Airport located approximately 40 km (25 miles) north of central Warsaw, then it's best to travel by coach directly to Bialystok, or get to central Warsaw and then take the train from there. Popular coach operators: FlixBus, Żak Express, PlusBus.
If you have any problems or questions, please contact us via e-mail at: itp2023@mizar.uwb.edu.pl