32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Important Dates
Paper Submission
Invited Speakers
Venue & Travel
Best Papers

Travel Information & Accommodation


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.

Travel Information

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 or airbnb. We have good experiences with the following places.

Getting to the CIIRC building from the nearest metro station

Skipping the first entrance (building A)

Entering building B

Registration desk just behind the door

Towards the Red Room, Respirium and B-571

Towards B-571, down the long corridor Towards B-571, looking for an elevator Towards B-571, found an elevator Towards B-571, aiming for the fifth floor Towards B-571, getting off and turning right Towards B-571, found it!