private information

This mailing list is used to disseminate various announcements relevant to the research community gathering at the Highlights of Logic, Games, and Automata conference.