Skip to Content.
Sympa Menu

coq-club - [Coq-Club] ESSLLI 2004

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ESSLLI 2004


chronological Thread 

une annonce qui peut vous intéresser ....

Cordialement, Stéphane.


=======================================================================
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004

                       Première Annonce

                          ESSLLI 2004

                 Nancy, France 9-20 Août 2004
=======================================================================
ESSLLI 2004 (European Summer School in Logic, Language and
Information), la seizième école d'été en logique, linguistique et
information aura lieu en France, à Nancy, du 9 au 20 août 2004. Elle
sera organisée par le LORIA (Laboratoire Lorrain de Recherche en
Informatique et ses Applications) et se tiendra sur le campus
scientifique de l'Université Henri Poincaré (Nancy 1).

ESSLLI est l'école d'été annuelle de l'association européenne de
Logique, Linguistique et Information (FoLLI). Comme les autres
éditions d'ESSLLI, ESSLLI 2004 offrira deux semaines de cours
d'initiation, de perfectionnement et d'approfondissement, ainsi que
des ateliers. En tout, 48 cours et ateliers auront lieu. Pour plus
d'information, vous pouvez consulter notre site web :

   http://esslli2004.loria.fr

Les inscriptions à ESSLLI 2004 ne sont pas encore ouvertes, mais vous
trouverez sur ce site toutes les informations préliminaires pour
l'inscription, l'hébergement et les prix. Un autre e-mail vous sera
envoyé quand les inscriptions seront ouvertes.

Nous serons ravis de vous accueillir à Nancy au mois d'août prochain !

Carlos Areces et Patrick Blackburn (pour le comité d'organisation)
Hélène Kirchner (Directrice du LORIA)

=======================================================================
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004
=======================================================================




Archive powered by MhonArc 2.6.16.

Top of Page