Auron, 18 au 21 mars 1999



 

Programme et résumes

Liste des participants

Présentation :

Groupe de travail Langages Formels de l'AFIT (Association Française d''Informatique Théorique)

Animateurs : S. Julia et G. Sénizergues

Thèmes traditionnellement abordés :

-
théorie des langages d'objets discrets, finis ou infinis (mots, arbres, traces, graphes)
-
systèmes de réécriture
-
logique sur ces objets
-
commutations ou semi-commutations
-
combinatoire du monoide libre
-
...
Les séances de travail se dérouleront le matin et le soir, à partir du vendredi matin. Les participants pourront consacrer l'après-midi aux activités de détente (ski, patinage, raquettes, échanges d'idées sur une terrasse ensoleillée, etc).
 
 
 
 

Hébergement :

Cette réunion aura lieu à l'Hôtel Las Donnas d'Auron ( Alpes Maritimes) . Le village-station est à 1600m d'altitude, le sommet de ses pistes de ski culminant à 2400m. L'hôtel est sur la place principale, face au départ des remontées mécaniques.
Deux formules d'hébergement sont possibles :

  1. pension complète à l'hôtel du jeudi 18 mars au soir (dîner compris) au dimanche 21 mars midi (déjeûner compris) ; logement en chambre de 2 personnes : 900F par personne.
  2. idem sauf le logement en chambre individuelle (leur nombre est limité) : 1170F par personne.


Accès :

La station de sport d'hiver d'Auron est située à 90 km de Nice.

Prendre l'autoroute la Provençale A8 en venant d'Aix-en-Provence ou de Monaco, prendre la sortie Saint-Isidore puis la RN 202 direction Digne/Grenoble. 30km plus loin, il y a l'embranchement pour Auron/Saint-Étienne de Tinée.

Auron est desservi par un autocar au départ de l'aéroport Nice-Côte d'Azur, de la gare SNCF Nice-Ville ou de la gare routière (cf les horaires ). L'arrêt du car est juste derrière l'hôtel. La réservation du car est fortement conseillée, notamment pour le dimanche soir.

Nice est reliée par avion à la plupart des grandes villes de France.
 

Inscription :

Si vous souhaitez participer à cette réunion, vous devez renvoyer à l'adresse ci-dessous le bulletin d'inscription rempli et accompagné d'un chèque du montant du séjour avant le mardi 23 février.
 

Contact :

Sandrine JULIA
I3S bâtiment ESSI
Université de Nice-Sophia Antipolis
BP 145
06 903 SOPHIA ANTIPOLIS Cedex
tél : 04 92 96 51 44
fax : 04 92 96 51 55
julia@unice.fr