log in

12–15 SEPTEMBER 2017

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

edition

 London

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

IMPORTANT DATES

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

PREVIOUS EDITIONS

  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.

Short

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

Cheap

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.

Committees

KEYNOTE SPEAKERS

Mikolaj Bojanczyk
Sanjay Jain
Hung Ngo

TUTORIALS

Veronique Cortier
Damien Pous

INVITED SESSIONS

Patricia Bouyer
Alexandra Silva

PROGRAM COMMITTEE

Igor Walukiewicz (chair)
Parosh Aziz Abdulla
Christel Baier
Gilles Barthe
Michael Benedikt
Thomas Colcombet
Javier Esparza
Emmanuel Filiot
Paul Gastin
Mai Gherke
Bartek Klin
Barbara Konig
Antoni Kucera
Rupak Majumdar
David Monniaux
Luke Ong
Catuscia Palamidessi
Madhusudan Parthasarathy
Davide Sangiorgi
Thomas Schwentick
Sophie Tison

ORGANISING COMMITTEE

Matthew Hague (co-chair)
Nikos Tzevelekos (co-chair)
Greta Yorsh
Paulo Oliva
Yu-Yang Lin

STEERING COMMITTEE

Dietmar Berwanger
Mikołaj Bojańczyk
Tomáš Brázdil
Thomas Colcombet
Anuj Dawar
Hugo Gimbert
Erich Grädel
Christof Löding
Aniello Murano
Moshe Vardi

Call for Presentations

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.

SCOPE:

Representative areas include, but are not restricted to:

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

IMPORTANT GUIDELINES:

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.

WHERE AND WHEN TO SUBMIT:

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.

Venue

LOCATION

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.

EATING

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.

ACCOMMODATION

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).

PUBLIC TRANSPORT

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.

PICNIC

Location TBC. It will be in London.

NEARBY

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

designed and delivered