[TYPES/announce] HIGHLIGHTS 2017 -- Call for Participation

[Nikos Tzevelekos]

[with apologies for multiple postings]

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 open until August 20, 2017
    at http://highlights-conference.org/register/