COLLOQUE ANNIVERSAIRE

ANNIVERSARY WORKSHOP

en l'honneur de

in honour of

Gérard Berry et Jean-Jacques Lévy

Gérard Berry and Jean-Jacques Lévy

GGJJ 2011

Du 2 au 4 février 2011

February 2 to February 4, 2011

Gérardmer (Vosges)

Cet évènement est soutenu par:

This event is supported by:

• l'INRIA
• Microsoft Research - INRIA Joint Centre
• le projet ANR Choco
• le laboratoire Preuves, Programmes et Systèmes (CNRS et Université Paris Diderot)

• l'INRIA
• Microsoft Research - INRIA Joint Centre
• the ANR Choco project
• the laboratory Preuves, Programmes et Systèmes (CNRS and Université Paris Diderot)

Toutes les photos de GGJJ 2011

Ce colloque est organisé à la suite des JFLA (qui en ont fourni le prétexte).

This workshop is organised right after the "Journées Françaises des Langages Applicatifs" (JFLA) (which served as a triggering factor).

Organisation du colloque

Organisation of the Workshop

Il se déroulera sur 2 journées (2 et 3 février) et une matinée (4 février). Le programme mêlera des exposés d'anciens étudiants, de proches collègues et amis de ces deux grands chercheurs, et tentera de s'ouvrir le plus largement possible sur le vaste spectre de leurs contributions et de leurs centres d'intérêts, de la théorie aux applications.

There will be two full working days on the 2nd and 3rd of February, and a half-day on the 4th morning. The programme will mix talks by former students and by close colleages and friends of these two great researchers, and will try its best to be open to the large spectrum of their contributions and scientific interests, from theory to applications.

Programme et déroulement du colloque

Program and time-table scheme

Comment venir

How to get there

Le colloque se déroulera à l'hôtel Beau Rivage, Esplanade du lac - 88400 GÉRARDMER France, Tél : +33 (0)3 29 63 22 28 - Fax : +33 (0)3 29 63 29 83

The workshop location is hôtel Beau Rivage, Esplanade du lac - 88400 GÉRARDMER France, Tél : +33 (0)3 29 63 22 28 - Fax : +33 (0)3 29 63 29 83

Pour se rendre à Gérardmer:

Travelling to Gérardmer:

• Par le train. La gare de Remiremont est située à 27 km de Gérardmer. Il y a deux trains TGV directs par jour de Paris à Remiremont, et de Remiremont à Paris (2h40). Des cars seront prévus à l'arrivée le 1er février pour les deux trains suivants:
  • Paris : 12h12 - 14h51 : Remiremont (recommandé)
  • Paris : 18h12 - 20h54 : Remiremont
  Et au retour pour le train suivant:
  • Remiremont : 16h03 - 18h45 : Paris
  
  En dehors des horaires conseillés ci-dessus, il est possible de prendre le TGV pour Nancy-Paris depuis Epinal ou Saint-Dié. Des liaisons par autobus existent entre Gérardmer et Remiremont, Epinal, Saint-Dié (TER -> Entzheim/aéroport de Strasbourg) , Munster (TER -> Colmar).
  
  Informations sur http://www.gerardmer.net/comment-venir_anglais.php ou directement sur http://www.livo-vosges.fr/ ou encore sur http://transports-vosges.pagesperso-orange.fr/lignes.html
  
  
• Par avion. L'aéroport de Basel - Mulhouse - Freiburg est à une centaine de kilomètres, ainsi que celui de Strasbourg. Des transports ad hoc pourront le cas échéant être organisés pour des groupes de participants arrivant à des horaires proches à Mulhouse, Strasbourg, ou Nancy.

  Le transfert des participants communs aux JFLA et à GGJJ 2011 sera assuré le 1er février.

• By train. Remiremont station is located 27 km from Gérardmer. There are two direct trains per day from Paris to Remiremont, and from Remiremont to Paris (2h40). Transportation by buses will be provided for participants who will arrive February 1st by the two following trains:
  • Paris : 12h12 - 14h51 : Remiremont (recommended)
  • Paris : 18h12 - 20h54 : Remiremont
  And to go back, the following train:
  • Remiremont : 16h03 - 18h45 : Paris
  
  It is also possible to take a TGV to Nancy-Paris from Epinal or Saint-Dié. There are transportations by buses from Gérardmer to Remiremont, Epinal, Saint-Dié (TER -> Entzheim/Strasbourg Airport), Munster (TER -> Colmar).
  
  More information on http://www.gerardmer.net/comment-venir_anglais.php or directly on http://www.livo-vosges.fr/ or http://transports-vosges.pagesperso-orange.fr/lignes.html
  
  
  
• By plane. Basel - Mulhouse - Freiburg Airport is a hundred kilometers from Gérardmer, as well as Strasbourg Airport. Ad-hoc transportation can be arranged if necessary for groups of participants arriving at roughly the same flight or train schedules from Mulhouse, Strasbourg, or Nancy.

  Le transfert des participants communs aux JFLA et à GGJJ 2011 sera assuré le 1er février.

  Transportation for participants to both JFLA and GGJJ 2011 will be provided February 1st.

Merci de préciser votre moyen de transport dans le questionnaire en ligne ci-dessous.

Thank you for indicating your transportation in the information form below.

Inscription

Registration

(PRIERE DE S'INSCRIRE AVANT le 15 janvier 2011)

(PLEASE REGISTER BEFORE January 15, 2011)

Le processus d'inscription se fait en deux étapes (une fois sur ce site, choisir la ligne GGJJ 2011).

1. La pré-inscription. À cette étape, il vous sera demandé des renseignements personnels. (Petit bug: dans la case civilité, "blanc" vaut pour M.)
2. Confirmation et paiement. Lorsque vous recevrez une confirmation par mail du comité d'organisation, vous serez en mesure de faire l'inscription proprement dite. Vous devrez sélectionner une option de tarification.
   Les choix sont:
   • Chambre simple (480 euros): l'hébergement en chambre individuelle et repas compris
   • Chambre double (400 euros): l'hébergement en chambre double et repas compris
   (La troisième option *invité s'applique aux personnes qui ont été informées par le comité d'organisation que leur participation à GGJJ 2011 est gratuite.)

Merci, en parallèle de remplir le questionnaire ci-dessous sur vos préférences pour l'hébergement.

The registration process is in two steps (once there, choose the GGJJ 2011 workshop).

1. Pre-registration. At this step, you will be asked for personal information. (A small bug: when asked whether you are Mr, Mrs, or Ms, then blank stands for Mr.)
2. Confirmation and Payment. Upon receiving an email confirmation from the organizing committee, you will be able to complete the actual registration. As for the fees, you will have to select an option.
   The choices are:
   • single room (480 euros) : accommodation in a single room and meals inclusive
   • twin room (400 euros) : accommodation in a twin room and meals inclusive (recommended)
   (There is also an *invited option, which applies to those who were informed by the organising committee that their participation to GGJJ 2011 is free.)

Please, in parallel, do fill the information form below about your room preferences.

Vous aurez à payer en ligne, ou à demander à votre institution de le faire. Veuillez noter que l'inscription n'est effective qu'après l'étape de paiement effectuée.

You will have to pay on line, or to let your institution pay on line. Please note that registration is effective only after the payment has been completed.

Tous les participants (y compris *invité), sont priés de suivre toute la procédure.

All participants (including *invited) are kindly requested to follow the entire procedure.

Dates limites d'inscription: 15 Janvier 2011

Registration deadline: January 15th, 2011

Pour toutes questions pratiques, s'adresser à ggjj2011@pps.jussieu.fr

Questions on practical issues can be sent to ggjj2011@pps.jussieu.fr

Formulaire d'informations

Information Form