log in

12–15 SEPTEMBER 2017

Tutorial day: 12 SEPTEMBER
Main Conference: 13–15 SEPTEMBER



The goal of Highlights conferences is to integrate the community working on logic, games and automata.


Talk submission deadline: 2 June 2017
Notification: 12 June 2017
Registration deadline: 7 August 2017
Tutorial day: 12 September 2017
Conference: 13-15 September 2017


  1. Highlights 2016 (Brussels, 6–9 September)
  2. Highlights 2015 (Prague, 15–18 September)
  3. Highlights 2014 (Paris, 2–5 September)
  4. Highlights 2013 (Paris, 18–21 September)

No proceedings

There are no proceedings. You present your best work, be it published elsewhere or yet unpublished.


The conference is three days long. The contributed talks are around ten minutes.


The participation costs are modest. London is easy to reach.

Everybody is doing it!

Let's use the conference model that is so successful in other fields, like mathematics.


Call for Presentations


HIGHLIGHTS 2017 is the fifth 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.

We encourage you to attend and present your best work, be it already published or not, at the Highlights conference.


Representative areas include, but are not restricted to:

  • logic and finite model theory
  • automata theory
  • games for logic and verification


You submit a proposal for a presentation, not a paper. Hence, submissions should have a single author, who is the speaker. Since we expect you to present your favorite result of the year, there should be at most one submission per speaker. The abstract, of 1-2 pages, may include a list of coauthors.

There are no formal proceedings and we encourage submission of work presented elsewhere.


Talk submissions are done via the Highlights 2017 EasyChair site

The submission deadline is June 2, 2017. Notifications will be sent by June 12, 2017.

Keynote sessions

Keynote talks

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

Invited sessions

Patricia Bouyer: Games played on graphs: quantitative games, games with multi-objectives, non-zero sum games

Alexandra Silva: Model learning, automata and its applications


Veronique Cortier: Verification of security protocols

Damien Pous: Coinduction up to and automata algorithms



Highlights will take place in the Mile End campus of Queen Mary University of London. It will be located in particular in the People’s Palace (building n.16 in this campus map).

The closest tube stations are Stepney Green and Mile End. For travel planning to the venue we recommend using the “directions” option in this google map. You can use the postal code E1 4NS to locate the campus.


There are several options for eating or having a drink near Queen Mary. The cheapest option is the pub The Half Moon on Mile End Road situated between Queen Mary and Stepney Green Station. Nearby is the Turkish restaurant Efes (230 Mile End Road), and the more expensive but good quality Italian restaurant Verdi (237 Mile End Road).

Near Mile End Tube Station there is the chain chicken restaurant Nando’s (552 Mile End Road), the burger locale Greedy Cow (2 Grove Rd), the reasonably priced Persian restaurant Ariana (2 Midlothian Road) and The Morgan Arms (gastro pub, 43 Morgan Street).

There is an abundance of eating options throughout London, with good restaurants to be found in and around Brick Lane, Shoreditch, Soho, and beyond.  For the more well-known options, book ahead if possible, or expect to wait on the door.


We know of the following hotels that are reachable on foot in ~20 mins:

Moreover, there is a plethora of hotels easily reachable by tube from Queen Mary, especially in the Stratford Olympic park area (one stop from Mile End on the Central line — note this is London Stratford, not Shakespeare’s Stratford-upon-Avon!).

Finally, you may want to consider more affordable options like Airbnb (use usual caution when booking).


The best way to travel on the public transport system in London is by using a “contactless” credit card. The second best option is to purchase an Oyster card for a small deposit. This is a pay-as-you-go card which you can buy at tube stations or online (this service delivers the card to your home country). You can still buy single paper tickets but: (a) they are way more expensive, and (b) you cannot use them on buses.

There is no official London transport mobile app. The TfL Journey Planner website works well on mobile. Citymapper is a popular 3rd party travel app.

The cheapest travel option is to cycle to/from Queen Mary using city bikes. There are several docking stations around Queen Mary and the cycle superhighways offer routes largely segregated from traffic. The scheme costs £2 per 24 hours and you can make an unlimited number of journeys each lasting less than 30 minutes. Check their website for all details. There are thousands of available bikes all over London, however if your hotel is east of Queen Mary check on the map if there are docking stations nearby.

Also cab sharing can be an option. Apart from the classic British black cabs (reasonable to use when 4 or 5 share the fare) there is an increasing presence of the cheaper Uber cars.


Location TBC. It will be in London.


Reachability Problems 2017
Royal Holloway University of London
7-9 September 2017
RP 2017

designed and delivered