Sign up for Zulip

MOVES
https://zulip.moves.rwth-aachen.de

Chat server for the Chair for Software Modeling and Verification (MOVES).

You need an invitation to join this organization.