Anciens cours (
Christian Retoré
)
@ÉTUDIANTS: Désormais je dépose les documents de cours
sur le Moodle de l'université de Montpellier
Bases de données L2 HLIN304I TD TP
Programmation objet L2 TD TP
Vérification L3 TD TP
Bases de données avancées (ENSEIRB)
Bases de données avancées - BDA - INF 559
master informatique deuxième année semestre 3
spécialité génie logiciel
Systèmes Experts - SE - MGE 903
master
MIAGE
2e année
BioInfo: Bases de données
master BioInformatique première année semestre 2
Logique et Langages - LL - INF 569
master informatique deuxième année semestre 3
spécialité algorithmes et méthodes formelles
Bases de données - BD
master informatique première année semestre 2
supprimé de la maquette mais les documents peuvent servir
Logic in linguistics: some issues in the philosophy of language
Università degli studi di Verona April-May 2010
Informatique théorique 1
Licence informatique
ESSLLI 2012 Logic, categories and natural language semantics
Stage d'initiation à l'informatique pour lycéens
L1
initiation à l'informatique
.
L1
fondamentaux pour les mathématiques et l'informatique
M1
logic
M1 semestre 2 Web sémantique, langue et raisonnement
Categorial Grammars and Formal Semantics
(avec Richard Moot)
ESSLLI 2014 Tübingen August 2014.
__