Vendredi, 11:00-13:00, Mardi,
15:30-17:3015:00-17:00,
salle machine (1er étage, 155-7), 30, rue du château des rentiers
Premier cours : 21 septembre 2006
Pas de séance le 09 octobre, le 30 octobre, le 20 novembre.
Séance supplémentaire le 11 décembre.
|
Ce cours se place comme un point de convergence entre les cours de M1
« sémantique
computationnelle » et « langages
formels ». Avec une méthode de travail essentiellement technique
(séances en salle machine, TP à toutes les séances), on étudiera la
mise en place concrète de méthodes classiques de compilation,
appliquées aux traitement sémantique/logique de la langue.
Un autre objectif de ce cours est de constituer une expérience
« réaliste » du développement collaboratif (via
l'utilisation de subversion).
|