KeY Symposium 2024
      incl. the first KeYmaera Day

dedicated to the 25h birthday of the KeY project.

29th July to 1st Aug. 2024
Haus der Kirche, Bad Herrenalb, Germany
(in the black forest near Karlsruhe)

Venue and Accommodation

Bad Herrenalb

The complete address is:

Haus der Kirche
Evangelische Akademie Baden
Dobler Stra├če 51
76332 Bad Herrenalb
Telefon: +49 (0) 7083 9280
Telefax: +49 (0) 7083 928601

Social Event

On Monday, July 29th, we have an optional social event before the official start. Michael Kirsten organizes a hiking trip in the black forest with medium difficulty of ca. 9km taking about 3 hours, that requires public local transport to get to the starting point. The hiking group will meet at 1 pm at the venue to drop their luggage. Please mark your interest during the registration to stay informed.

There will be (depending on the weather) an unsolicitious light hike on the second evening (Tuesday) to the monastery ruins of Frauenalb. Roughly 6km one way, downhill, you can cheat by using the local tram.


Reaching Karlsruhe. You can reach Karlsruhe by train using Deutsche Bahn. The nearest airport is Frankfurt (FRA) (roughly an 1 hour away by train). An option might be Stuttgart (STR, two hours away) or Baden-Baden (FKB, 40 min.).

Reaching Bad Herrenalb from Karlsruhe. You reach Bad Herrenalb by local transport from Karlsruhe: You take line S1 direction "Bad Herrenalb" to the final destination. This local train starts in front of the train station, called "Karlsruhe Hbf Vorplatz". The local transporter is KVV. The train ride takes 40 min. and the interval is 10 min. to 20 min. depending on the daytime.

The last mile. The venue is 600 m away from the train station in Bad Herrenalb. Please note, the way up to the venue is steep. You can access it also from the back side, which is better reachable from the train station, see

Google Maps:

Rough Schedule

The symposium starts on the evening of July, 29th and ends after lunch 14:00 on Aug, 1st.

Local organization

Alexander Weigl, Bernhard Beckert

Program organization

Enguerrand Prebet, and Alexander Weigl

Previous editions