<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML> <HEAD>    <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">    <META NAME="GENERATOR" CONTENT="Mozilla/4.08 [en] (X11; I; SunOS 5.6 sun4u) [Netscape]">    <TITLE>LanFor'99</TITLE> </HEAD> <BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#48D1CC" ALINK="#FF0000">  <BLOCKQUOTE> <BLOCKQUOTE> <BLOCKQUOTE> <BLOCKQUOTE> <BLOCKQUOTE> <H1> <IMG SRC="logo.gif" HEIGHT=80 WIDTH=350></H1> </BLOCKQUOTE> </BLOCKQUOTE> </BLOCKQUOTE> </BLOCKQUOTE> </BLOCKQUOTE>  <HR WIDTH="100%"> <P><B><FONT COLOR="#CC66CC"><FONT SIZE=+2>Auron, 18 au 21 mars 1999</FONT></FONT></B> <P> <HR WIDTH="100%"> <BR>&nbsp;<FONT COLOR="#FFCCFF"></FONT>  <CENTER><P><B><FONT COLOR="#33CC00"> <FONT SIZE=+2><A HREF="http://www.i3s.unice.fr/~julia/LANFOR/essai/essai.html"><FONT COLOR="#33CC00">Programme et r&eacute;sumes</FONT></A>  </FONT></FONT></B><B>  <FONT COLOR="#FF8000"><FONT SIZE=+2></FONT></FONT></B></CENTER>  <CENTER><P><B><FONT COLOR="#33FF00"> <FONT SIZE=+2><A HREF="http://www.i3s.unice.fr/~julia/LANFOR/part/part.html"><FONT COLOR="#33CC00">Liste des participants</FONT></A>  </FONT></FONT></B><B>  <FONT COLOR="#FF8000"><FONT SIZE=+2></FONT></FONT></B></CENTER>  <P><B><FONT COLOR="#FF8000"><FONT SIZE=+2>Pr&eacute;sentation :</FONT></FONT></B> <P><FONT SIZE=+1>Groupe de travail <B>Langages Formels</B> de l'<A HREF="http://www.lri.fr/~jouannau/afit.html">AFIT </A>(Association Fran&ccedil;aise d''Informatique Th&eacute;orique)</FONT> <P><FONT SIZE=+1>Animateurs : S. Julia et G. S&eacute;nizergues</FONT> <P><FONT SIZE=+1>Th&egrave;mes traditionnellement abord&eacute;s :</FONT> <DL COMPACT> <DT> <B><FONT SIZE=+1>-</FONT></B></DT>  <DD> <FONT SIZE=+1>th&eacute;orie des langages d'objets discrets, finis ou infinis (mots, arbres, traces, graphes)</FONT></DD>  <DT> <B><FONT SIZE=+1>-</FONT></B></DT>  <DD> <FONT SIZE=+1>syst&egrave;mes de r&eacute;&eacute;criture</FONT></DD>  <DT> <B><FONT SIZE=+1>-</FONT></B></DT>  <DD> <FONT SIZE=+1>logique sur ces objets</FONT></DD>  <DT> <B><FONT SIZE=+1>-</FONT></B></DT>  <DD> <FONT SIZE=+1>commutations ou semi-commutations</FONT></DD>  <DT> <B><FONT SIZE=+1>-</FONT></B></DT>  <DD> <FONT SIZE=+1>combinatoire du monoide libre</FONT></DD>  <DT> <B><FONT SIZE=+1>-</FONT></B></DT>  <DD> <FONT SIZE=+1>...</FONT></DD> </DL>  <FONT SIZE=+1>Les s&eacute;ances de travail se d&eacute;rouleront le matin et le soir, &agrave; partir du vendredi matin. Les participants pourront consacrer l'apr&egrave;s-midi aux activit&eacute;s de d&eacute;tente (ski, patinage, raquettes, &eacute;changes d'id&eacute;es sur une terrasse ensoleill&eacute;e, etc).</FONT> <BR>&nbsp; <BR>&nbsp;  <BR>&nbsp; <BR>&nbsp; <BR> <BR> <P><B><FONT COLOR="#9400D3"><FONT SIZE=+2>H&eacute;bergement :</FONT></FONT></B> <P><FONT SIZE=+1>Cette r&eacute;union aura lieu &agrave; l'H&ocirc;tel Las Donnas d'<A HREF="http://www.provenceweb.fr/f/alpmarit/auron/auron.htm">Auron</A> ( Alpes Maritimes) . Le village-station est &agrave; 1600m d'altitude, le sommet de ses pistes de ski culminant &agrave; 2400m. L'h&ocirc;tel est sur la place principale, face au d&eacute;part des remont&eacute;es m&eacute;caniques.</FONT> <BR><FONT SIZE=+1>Deux formules d'h&eacute;bergement sont possibles :</FONT> <OL> <LI> <FONT SIZE=+1>pension compl&egrave;te &agrave; l'h&ocirc;tel du jeudi 18 mars au soir (d&icirc;ner compris) au dimanche 21 mars midi (d&eacute;je&ucirc;ner compris) ; logement en chambre de 2 personnes : 900F par personne.</FONT></LI>  <LI> <FONT SIZE=+1>idem sauf le logement en chambre individuelle (leur nombre est limit&eacute;) : 1170F par personne.</FONT></LI> </OL>  <P><BR><B><FONT COLOR="#33CC00"><FONT SIZE=+3>Acc&egrave;s :</FONT></FONT></B> <P><FONT SIZE=+1>La station de sport d'hiver d'<A HREF="http://www.provenceweb.fr/f/alpmarit/auron/auron.htm">Auron</A> est situ&eacute;e &agrave; 90 km de Nice.</FONT> <P><FONT COLOR="#000000"><FONT SIZE=+1>Prendre l'autoroute la Proven&ccedil;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-&Eacute;tienne de Tin&eacute;e.</FONT></FONT> <P><FONT SIZE=+1>Auron est desservi par un autocar au d&eacute;part de l'a&eacute;roport Nice-C&ocirc;te d'Azur, de la gare SNCF Nice-Ville ou de la gare routi&egrave;re (cf les <A HREF="http://www.i3s.unice.fr/~julia/LANFOR/Bus.html">horaires </A>). L'arr&ecirc;t du car est juste derri&egrave;re l'h&ocirc;tel. La r&eacute;servation du car est fortement conseill&eacute;e, notamment pour le dimanche soir.</FONT> <P><FONT SIZE=+1>Nice est reli&eacute;e par avion &agrave; la plupart des grandes villes de France.</FONT> <BR>&nbsp; <P><B><FONT COLOR="#FF6600"><FONT SIZE=+2>Inscription :</FONT></FONT></B> <P><FONT SIZE=+1>Si vous souhaitez participer &agrave; cette r&eacute;union, vous devez renvoyer &agrave; l'adresse ci-dessous le <A HREF="http://www.i3s.unice.fr/~julia/LANFOR/inscription.html">bulletin d'inscription</A> rempli et accompagn&eacute; d'un ch&egrave;que du montant du s&eacute;jour avant le <FONT COLOR="#FF0000"><B>mardi 23 f&eacute;vrier</B>.</FONT></FONT> <BR>&nbsp; <P><B><FONT COLOR="#0000FF"><FONT SIZE=+2>Contact :</FONT></FONT></B> <P><FONT COLOR="#000000">Sandrine JULIA</FONT> <BR><FONT COLOR="#000000">I3S b&acirc;timent ESSI</FONT> <BR><FONT COLOR="#000000">Universit&eacute; de Nice-Sophia Antipolis</FONT> <BR><FONT COLOR="#000000">BP 145</FONT> <BR><FONT COLOR="#000000">06 903 SOPHIA ANTIPOLIS Cedex</FONT> <BR><FONT COLOR="#000000">t&eacute;l : 04 92 96 51 44</FONT> <BR><FONT COLOR="#000000">fax : 04 92 96 51 55</FONT> <BR><FONT SIZE=+1><A HREF="mailto:julia@unice.fr">julia@unice.fr</A></FONT> <BR> <HR WIDTH="100%"> </BODY> </HTML> 
