Log in to Zulip
highlights-conference
https://highlights.zulipchat.com
This site aims at being the meeting place of the research community of the conference highlighgs of logic, games, and automata.
Don't have an account yet? You need to be invited to join this organization.