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:

5th – 8th August 2025, Manigod

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