The Coq mailing list

[demri <demri AT lsv.ens-cachan.fr>]

Une annonce qui peut vous intéresser ....
(désolé si vous l'avez déjà reçue par ailleurs)


------------------------------------------------------------------------
Workshop Complexité, modèles finis et bases de données 2004
vendredi 14 et samedi 15 mai 2004
Lausanne
date limite d'inscription : 18 avril 2004

http://www2.unil.ch/logique/workshop.html
------------------------------------------------------------------------

Les prochaines journées du groupe de travail "Complexité, modèles 
finis  et bases de données"
se tiendront sur le campus de l'Université de  Lausanne les vendredi 14 
et samedi 15 mai 2004.

Tout chercheur qui le souhaite est invité à y présenter ses travaux en  
complexité, en théorie des
 modèles finis ou dans un de leurs nombreux  champs d'application. Pour 
cela, prendre contacts
avec les organisateurs.

http://www2.unil.ch/logique/workshop.html

Interventions (en français ou anglais) entre autres de :

-Bela Bollobas
-Bruno Courcelle
-Thomas Henzinger
-Erich Graedel
-Janos Makowsky
-Damian Niwinski
-Michel de Rougemont



Le campus de l'Université de Lausanne est situé :
- au bord du lac Léman, face aux Alpes,
- à 11 minutes du centre ville par métro.
Lausanne est accessible :
- par TGV depuis Paris,
- par liaisons aériennes (via aéroport international de Genève  
Cointrin) puis train (1/2 heure).


Vous trouverez les informations utiles concernant le transport et  
l'hébergement sur
http://www2.unil.ch/logique/info_pratiques.html

Contacts :

-Jérémie Cabessa 
(J�r�mie.Cabessa AT hec.unil.ch)
-Jacques Duparc 
(Jacques.Duparc AT hec.unil.ch)
-Elisabeth Fournier 
(Elisabeth.FournierPulfer AT hec.unil.ch)