Log in to Zulip

Verify

https://zulip.verify.rwth-aachen.de

Chat Server for Lehr- und Forschungsgebiet Informatik 2 - "Programmiersprachen und Verifikation"

Forgot your password? Sign up

Don't have an account yet? You need to be invited to join this organization.