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