32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Home
Important Dates
Paper Submission
Committees
Invited Speakers
Workshops
Venue & Travel
Registration
Program
Best Papers
The conference will be located at the Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU). The main Tableaux conference track (Tuesday to Thursday) and the AReCCa workshop (Monday) will be held in the Red Room in building B. Room 571 will accomodate overlaping FroCoS events (Wednesday to Thursday) and the Pt-S workshop (Monday and Tuesday). The coffee breaks will be held in Respirium right above the Red Room. When attending the conference, use entrance B from the street Jugoslávských partyzánů and then follow signs pointing you to the conference registration desk. The registration desk will open at 8:45 AM on Monday.
The venue address is: Jugoslávských partyzánů 1580/3, Dejvice, Praha.
In order to get to the conference venue from the Prague airport of Václav Havel (PRG), you can use Prague public transport, which is clean and cheap. Take the bus number 119 from the airport to it’s final destination Nadrazi Veleslavin. Then switch to metro (underground) and take line A (green line) to station Dejvicka. The journey should take around 40 minutes and it will cost you 40 CZK. The ticket can be purchased from the vending machine at the airport, right at bus station in front of the airport terminal building. See Prague transport webpage for more info. A bus ticket can be recently purchased directly in the bus by a credit/debit card.
In order to get to the conference from the Prague main railway station, you can walk to the Muzeum station and there take line A (green line) to station Dejvicka. Alternatively, you can use line C to get to Muzeum instead of walking.
In any case, you can also take a taxi or an Uber. Google Maps are capable of planning your journey using public transport.
We recommend you book a hotel nearby the conference venue using booking.com or airbnb. We have good experiences with the following places.