Tutorial day: 18 SEPTEMBER

Conference: 19–21 SEPTEMBER


W pliku szablonu struktury (2013.json) nie został zdefiniowany typ źródła danych.

The Problem

There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks, and some incentives to make bad ones (e.g. splitting one result into many conference papers).

The Solution

A new conference: Highlights of Logic, Games and Automata. A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.


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


The conference is two and a half days, preceded by one tutorial day. The contributed talks are around ten minutes or less.


The conference fee will be at most 100€. Paris is easy to reach.


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

Highlights 2013

Paris, September 18–21

Tutorial day: September 18

Conference: September 19–21

Submission is closed.

We are unable to accept further registrations for the conference because the auditorium is at capacity. Likewise, there will be no possibility for registering on site. If you wish to attend the tutorials only, please write to the organisers.


Highlights 2013 will be held at Université Paris Diderot, mainly in the Buffon building at 15 Rue Hélène Brion, with some parallel sessions in the Halle aux Farines at 2 Rue Marguerite Duras.

View location in Google Maps and on campus plan.


You can find a variety of hotels close to the workshop venue, in the neighbourhood of Bercy - Bibliotheque François Mitterand. We also recommed and the Quartier Latin (two stops on RER C) and the area of Bastille / Gare de Lyon (three stops on Metro 14).

For hotels in the Quartier Latin, you may refer to the list compiled by Institut Henri Poincaré.


By flight

  • From Charles de Gaulle airport: take RER B "Paris par le train" to Saint-Michel Notre-Dame, then RER C to Bibliothèque François Mitterrand (with the same ticket). Take the South exit towards Grands Moulins.
  • From Orly airport: take Orlyval to the station Antony of the RER B, then RER B to the Saint-Michel Notre-Dame, then RER C to Bibliothèque François Mitterrand. Take the South exit Grands Moulins.

By train

  • From Gare du Nord: take RER B (direction St Rémy de Chevreuse / Robinson to Les Halles, then line 14 to Bibliothèque François Mitterrand.
  • From Gare de Lyon: take line 14 (direction Olympiades) to Bibliothèque François Mitterrand.
  • From Gare de l’Est: take metro line 4 (direction Porte d’Orléans) to Châtelet, then line 14 (direction Olympiades) to Bibliothèque François Mitterrand.

Information about public transportation in Paris is available at the RATP site.



cnrs digiteo ens-cachan liafa lsv gdr-im gdr-im anr erc