Rencontre internationale "Logique, catégories, sémantique" 12-13 novembre 2010

Christian Retoré

 

:

 

 

Responsable du thème Logique, linguistique et informatique de l'équipe Méthodes Formelles du LaBRI-C.N.R.S.


Professeur au département d'informatique,
UFR Maths-Info,
Université Bordeaux 1

Projets:

 

 

LaBRI Parcours/CV  
Université Bordeaux 1
351, cours de la libération Présentations
33405 Talence cedex
FRANCE Publications
tél:

+33 5 4000 38 72

Sujets de programmation

+33 5 24 57 40 51
Anne-Laure Gautier (secr.)

Encadrement (étudiants, jurys) de mémoires de recherche
et de thèse
fax: +33 5 4000 66 69  

ANIMATION DE LA RECHERCHE

DOCUMENTS POUR L'ENSEIGNEMENT DEPUIS SEPTEMBRE 2002 - EN HTML OU PDF

mercredi 4 janvier, 2012 17:02