Sign up for 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.

You need an invitation to join this organization.