ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Welcome to Prague

Prague is the capital and largest city in the Czech Republic, the historical capital of Bohemia. Situated on the Vltava river, the city is home to about 1.3 million people. Prague has been a political, cultural and economic centre of central Europe complete with a rich history. Founded during the Romanesque and flourishing by the Gothic, Renaissance and Baroque eras, Prague was the capital of the kingdom of Bohemia and the main residence of several Holy Roman Emperors, most notably of Charles IV. Prague is home to a number of famous cultural attractions. Since 1992, the extensive historic centre of Prague has been included in the UNESCO list of World Heritage Sites.

TACAS 25th Anniversary dinner

Sunday, April 7, 2019, 19:00 at Stará zbrojnice

This dinner celebrates the 25 years of the TACAS conference. The dinner requires special tickets that are part of the TACAS and TOOlympics registrations. Space is limited, so register early.


Joost-Pieter Katoen, Jan Kofroň, Jan Vitek: Opening

Monday, April 8, 2019, 8:40, Hotel Pyramida, Room SUN I+II

The opening session of the ETAPS conference will feature a few words from your local organizers and form the steering committee chair of the ETAPS multiconference.


ETAPS Welcome and Poster Reception

Monday, April 8, 2019, 18:30, Hotel Pyramida

The welcome reception will give the delegates an opportunity to have a glass of sparkling wine (or some non-alcoholic drinks) while talking to colleagues. From 19:00 participants can join the Poster Receptions. Poster authors will be asked to present the posters and answer questions throughout the event. This is open to all registered attendees.


ETAPS Banquet

Wednesday, April 10, 19:30, Břevnovský klášter

The ETAPS banquet will be held on Wednesday in Břevnov Monastery. The monastery was founded 993 AD by Boleslav II and Bishop Adalbert. The Benedictine complex’s current appearance, dating back to 1708 – 1745, is an example of High Baroque style. The monastery gardens are open to all and visitors may also take a guided tour. The Břevnov Monastery is also known for its brewery, the existence of which was documented as early as in the 13th century and whose production can be tasted in the monastery today.

The venue is very close, 1,7km, therefore we don’t plan any special transport. It is a nice walk, about 30 min. The alternative is to take the tram and stop Malovanka to Břevnovský klášter, 4 min. Maps will be distributed.

IMPORTANT: Stiletto heels are NOT allowed due to presence of historical floors!

The map can be found here You can either walk (2km, 30 mins) or take a tram (22 or 25 at the side closer to the hotel, i.e., to the right) to stop “Břevnovský klášter” (4 stops).