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.

Previous KeY Workshops

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