Name:

Password:


BRUSSELS, 6–9 SEPTEMBER 2016

Tutorial day: 6 SEPTEMBER

Conference: 7–9 SEPTEMBER


menu

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


A visit to Highlights conference should offer a wide picture of the latest research in the area and a chance to meet everybody in the field, 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!

Important dates

  • Talk submission deadline: June 3, 2016.
  • Notification: June 13, 2016.
  • Tutorial day: September 6, 2016.
  • Conference: September 7-9, 2016.

Previous editions

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. Brussels is easy to reach.

EVERYBODY IS DOING IT!

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

Highlights 2016

Brussels, September 6–9


KEYNOTE SPEAKERS

Meena Mahajan

Andreas Maletti

Marc Zeitoun


TUTORIALS

Benedikt Bollig (Topic TBA)

Antonín Kučera (Topic TBA)


INVITED SESSIONS

Sławomir Lasota

Anca Muscholl


PROGRAM COMMITTEE

Thomas Schwentick (Chair)

Roderick Bloem

Call for presentations:

The goal of Highlights conferences is to integrate the community working on logic, games and automata. Papers on these topics 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 area and a chance to meet everybody in the field, 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 talk, not a paper. Hence, submissions should have a single author, who is the speaker. Since you should only 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 2016 EasyChair site


The submission deadline is June 3, 2016. Notifications will be sent by June 13, 2016.

Registration is open until August 7, 2016.

Location

All tutorials and talks will take place in the Forums of the Université Libre de Bruxelles (ULB) campus La Plaine; click here to view in Google Maps.

Accommodation

There are several hotels and hostels around Brussels which offer a wide range of prices. ULB is easily accessible from everywhere in town using the city's public transportation.

Directions

Information about public transportation in Brussels is avaible at the STIB-MIVB website; for trains, visit NMBS-SNCB.

From the airports

From the Brussels-Zaventem airport, you can use the public transportation to get to the city or ULB quite easily. The fastest way is to take a train to Brussels Central station from the airport (and then follow the instructions below). Otherwise, at the airport, take bus line 12 (preferably) or 21. They follow the same route, although the 21 stops everywhere whereas the 12 is "express"; however the 12 does not run after 8PM or on week-ends. Exit the bus at the Schuman station to take the subway. If you want to get to the ULB, take line 5 direction Hermann-Debroux, and stop at Delta. Brussels is also served by the smaller Brussels South Charleroi airport. There are buses every 30 minutes to take you from the airport to Brussels South station.

From the train stations

From Gare de Midi/Zuidstation/Brussels South station: take metro line 2 or 6 direction Simonis-Elisabeth (counter-clockwise wrt. metro ring) change at station Arts-Loi to metro line 5 direction Hermann-Debroux (this metro can be taken directly from Gare Centrale/Central station) exit metro at station Delta.

From metro station Delta

Leave station at exit ULB/Plaine (on the right after the Relay shop). Go to the Forums by following the path; when encountering a small patio with the cafeteria on the right, keep in the same direction, the Forums will be on your left after the patio.

Organizers

Support

Contact