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