Log in to Zulip
MOVES
https://zulip.moves.rwth-aachen.de
Chat server for the Chair for Software Modeling and Verification (MOVES).
Don't have an account yet? You need to be invited to join this organization.