FroCoS 2023


The 14th International Symposium on Frontiers of Combining Systems

Important Dates
Paper Submission
Invited Speakers
Venue & Travel
Accepted Papers
Best Paper Awards

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 invited talks and the full program on Friday will be held in the Red Room in building B, the other talks on Wednesday and Thursday (including the business meeting) will happen in the room 571. Coffee breaks and lunches will be held in Respirium. 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:30 AM on Wednesday. (See below for more details on how to navigate the building.)

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 its 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 also be 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/Bolt. 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!