Logic List Mailing Archive

Highlights of Logic, Games and Automata

2-5 Sep 2014
Paris, France

Highlights of Logic, Games and Automata
Paris, 2-5 September 2014
http://highlights-conference.org/

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.


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 conference fee will be at most 100 EUR. Paris is easy to reach.

EVERYBODY IS DOING IT! Let's use the conference model that is so 
successful in other fields, like mathematics.


PROGRAM COMMITTEE

Parosh Aziz, Uppsala, Sweden
Mikolaj Bojan'czyk, Warsaw, Poland
Thomas Colcombet, Paris, France
Manfred Droste, Leipzig, Germany
Arnaud Durand, Paris, France
Kousha Etessami, Edinburgh, UK
Zoltan Esik, Szeged, Hungary
Martin Grohe, Aachen, Germany
Jérôme Leroux, Bordeaux, France
Leonid Libkin, Edinburgh, UK
Pierre McKenzie, Montreal, Canada
Angelo Montanari, Udine, Italy
Anca Muscholl, Bordeaux, France
Nir Peterman, Leicester, UK
Nicole Schweikardt, Frankfurt, Germany
Luc Segoufin, INRIA & ENS Cachan, France (PC Chair)
Victor Vianu, UCSD, USA

ORGANISING COMMITTEE

Claire David
Florian Horn
Sylvain Schmitz
Luc Segoufin

STEERING COMMITTEE

Dietmar Berwanger
Mikolaj Bojan'czyk
Tomás Brázdil
Thomas Colcombet
Anuj Dawar
Hugo Gimbert
Erich Grädel
Christof Löding
Aniello Murano
Moshe Vardi