News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

17 - 20 September 2019, 7th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA (HIGHLIGHTS 2019), Warsaw, Poland

Date: 17 - 20 September 2019
Location: Warsaw, Poland

HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.

The conference is short (from 18 September to the mid-day on 20 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation costs are modest and Warsaw is easy to reach.

Scope: Representative areas include, but are not restricted to: + logic and finite model theory + automata theory + games for logic and verification.

For more information, see http://highlights-conference.org.

Please note that this newsitem has been archived, and may contain outdated information or links.