Name:

Password:


PRAGUE, 15–18 SEPTEMBER 2015

Tutorial day: 15 SEPTEMBER

Conference: 16–18 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 12, 2015.
  • Notification: June 19, 2015.
  • Early registration: July 15, 2015 (extended).
  • Tutorial day: September 15, 2015.
  • Conference: September 16-18, 2015.

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

EVERYBODY IS DOING IT!

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

Highlights 2015

Prague, September 15–18


SPECIAL LECTURE

Moshe Vardi


INVITED SPEAKERS

Christel Baier

Thomas Colcombet

Giuseppe De Giacomo

Philippe Schnoebelen


TUTORIALS

Libor Barto (CSP)

Paul Gastin (Weighted Automata)

Call for paper:

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 at most 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 2015 EasyChair site


The submission deadline is June 12, 2015. Notifications will be sent by June 19, 2015.

The registration is now open. Please go to the registration page. After July 15, registration remains open, but the options for cheap accommodation will not be available anymore.

Location

Highlights 2015 will be held in the campus of Faculty of Economics and Management, Czech University of Life Sciences in Prague-Suchdol. The conference dinner and a special Mathematical Colloquia talk by Moshe Vardi will take place in Karolinum, the historical seat of the Charles University in Prague.

Accommodation

You can find a variety of hotels in Prague, the workshop venue is easily reachable public transport. The organizers reserved a number of modestly prized rooms at the campus where the workshop will be held.

Directions

There is bus station "Zemědělská univerzita" in front of the campus where the conference is held. The buses to "Zemědělská univerzita" are departing from various places in Prague. One good entry point is "Dejvická" station which is easily reachable by metro. An optimal connection can be found at Prague Public Transit Company site (station names can be entered without Czech accents).

By flight

  • From Prague airport: in front of the main airport hall, take a direct bus to Dejvická station.

By train

  • From the main station (Hlavní nádraží): There is an entrance to Metro directly in the main station building.

Information about public transportation in Prague is available at the Prague Public Transit Company site.

Organizers