Skip to content
KeY The KeY Project
  • Getting Started & Support
  • News
  • Applications
    • Overview
    • Program Verification
    • (Symbolic) Debugging
    • Test Case Generation
    • Security
    • KeY for Your Own Research Projects
    • KeY for Teaching
  • The KeY Book
  • Publications
  • Download
  • About
    • Project
    • People
    • Contact
    • RSS Feed
  • GitHub
  • Documentation
  • Internal
    • Login
    • Gitlab

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:

8. Aug.-10. Aug. 2023 Bergen

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

Copyright © 2023 The KeY Project · Privacy Policy / Datenschutz · About us

KeY