[ecoop-info] HIGHLIGHTS 2017 -- Call for Participation
nikos.tzevelekos at qmul.ac.uk
Fri Jun 30 14:44:57 CEST 2017
[with apologies for multiple postings]
HIGHLIGHTS 2017 -- FIFTH CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND
Call for Participation
12-15 SEPTEMBER 2017, London, UK
* 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
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
More information about the ecoop-info