KeY Symposium

The KeY Symposium is the annual workshop of the KeY project, where all people involved in KeY come together to discuss recent developments and future directions.

Next event:

29 July – 1 Aug. 2024 Bad Herrenalb

Previous KeY Workshops

1. 2023 Bergen
2. 2019 Manigod
3. 2018 Göteborg
4. 2017 Rastatt
5. 2016 Manigod
6. 2015 Göteborg
7. 2014 Bühl
8. 2013 Lörrach
9. 2012 Manigod
10. 2011 Nijmegen
11. 2010 Gernsbach
12. 2009 Speyer
13. 2008 Göteborg
14. 2007 Nomborn
15. 2006 Speyer
16. 2005 Lökeberg
17. 2004 Königswinter
18. 2003 Bad Herrenalb
19. 2002 Göteborg