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)
The KeY symposium
The KeY Symposium is an annual workshop organized by the KeY project, where participants discuss recent developments and future directions related to formal methods and software verification1. It brings together researchers, practitioners, and enthusiasts interested in KeY, a formal verification tool for Java programs.
The KeY Symposium typically covers a range of topics related to formal methods and software verification. Some common themes include:
Formal Verification Techniques: Discussions on deductive verification, theorem proving, model checking, and other formal methods used to verify software correctness.
Case Studies: Real-world examples where Formal Methods (esp. KeY) has been successfully applied to verify software systems.
KeY Tool: Presentations about the KeY tool itself, its features, and practical applications in Java program verification.
Integration with IDEs: Exploring how KeY integrates with popular Integrated Development Environments (IDEs) for seamless verification workflows.
Challenges and Future Directions: Identifying research challenges and discussing potential improvements or extensions to the field of program verification.
Invited Speaker
Dirk Beyer, LMU
Jasmin Blanchette, LMU
Martin Fränzle, U Oldenburg
Joost-Pieter Katoen, RWTH
Venue and Accommodation
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
E-Mail: hausderkirche@hdk.ekiba.de
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 12:35 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.
Travel
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
Rough Schedule
The symposium starts on the evening of July, 29th and ends after lunch 14:00 on Aug, 1st.
Arrival Day: 29.07.2024,
12:35, Social Event
17:00, Start of Registration.
18:00, Dinner at Haus der Kirche.
20:00 Getting Together, and Meeting of the Programme Board
Regular Day: 30.07.2024
- 09:00 - 17:00 Conference Programme
Celebration Day: 31.07.2024
- 19:00 Social Dinner external restaurant
Departure Day: 01.08.2024
- Programm till 12:00, then lunch.
Local organization
Alexander Weigl, Bernhard Beckert