Mailing List

If you are interested in the KeY project and would like to get information on future developments, updates, etc., then please become a member of the KeY-Info mailing list.

To subscribe send an email to key-info-request@ira.uka.de with the word "subscribe" in the body of the mail.