Warning: mysql_connect(): Access denied for user 'highlights'@'duch.mimuw.edu.pl' (using password: YES) in /home/misc/highlights/public_html/old/class.db.inc on line 29 Warning: mysql_set_charset() expects parameter 2 to be resource, boolean given in /home/misc/highlights/public_html/old/class.db.inc on line 30 Warning: mysql_select_db() expects parameter 2 to be resource, boolean given in /home/misc/highlights/public_html/old/class.db.inc on line 31 Warning: mysql_query() expects parameter 2 to be resource, boolean given in /home/misc/highlights/public_html/old/class.db.inc on line 168 Warning: mysql_query() expects parameter 2 to be resource, boolean given in /home/misc/highlights/public_html/old/class.db.inc on line 168 Warning: mysql_query() expects parameter 2 to be resource, boolean given in /home/misc/highlights/public_html/old/class.db.inc on line 168 Highlights of Logic, Games and Automata

Name:

Password:


PARIS, 18–21 SEPTEMBER 2013

Tutorial day: 18 SEPTEMBER

Conference: 19–21 SEPTEMBER


menu

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 two and a half days, preceded by one tutorial day. The contributed talks are around ten minutes or less.

CHEAP

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

EVERYBODY IS DOING IT!

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.

Location

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.

Accommodation

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

Directions

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.

Organizer





Support

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

Contact

Warning: mysql_close() expects parameter 1 to be resource, boolean given in /home/misc/highlights/public_html/old/class.db.inc on line 36