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