HIGHLIGHTS 2017 - Call for Participation

by Nikos Tzevelekos, June 30, 2017

HIGHLIGHTS 2017 -- FIFTH CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA
Call for Participation
12-15 SEPTEMBER 2017, London, UK
http://highlights-conference.org

* HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata which 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 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 program will offer 59 contributed talks, three keynotes:

+ Mikolaj Bojanczyk, "Recognisability equals MSO definability for
graphs of bounded treewidth"
+ Sanjay Jain, "Quasi Polynomial and FPT algorithms for parity games"
+ Hung Ngo, "Shannon-type inequalities, submodular width, and
disjunctive datalog"

two special sessions organized by:
+ Patricia Bouyer, "Games played on graphs: quantitative games, games
with multi-objectives, non-zero sum games"
+ Alexandra Silva, "Model learning, automata and its applications"

and two tutorials
+ Veronique Cortier, "Verification of security protocols"
+ Damien Pous, 	"Coinduction up to and automata algorithms"

Full programme can be found at: http://highlights-conference.org.

*  Registration possible until August 20, 2017
   at http://highlights-conference.org/register/