17-20 Sep 2019
Warsaw, Poland
The programme is online and registration is open! Deadline for early bird registration: 31 August. HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 17-20 September 2019, Warsaw http://highlights-conference.org 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 ================================================ COLOCATED EVENT: 3rd School on Foundations of Programming and Software Systems on NOMINAL TECHNIQUES 10-15 September 2019 https://www.mimuw.edu.pl/~fopss19 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam