private information

This list is used exclusively for announcements of the Highlights of Logic, Games and Automata conference, see http://highlights-conference.org/