Please note that this newsitem has been archived, and may contain outdated information or links.
18-21 September 2013, Highlights of Logic, Games and Automata (Highlights 2013), Paris, France
The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.
Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.
For more information, see http://highlights-conference.org/
The conference has no published proceedings. Participants are encourage to talk about their best work, be it already published or not. The submission deadline is 20 June 2013.
Please note that this newsitem has been archived, and may contain outdated information or links.