Séance Vendredi 29 Septembre

La séance aura lieu de 14h à 16h en salle Corbin (B14-146) (à moins qu'elle soit occupée, il faudra alors trouver une autre solution).

• Nous reprendrons systématiquement les cas basiques de conditions complexes sur les DRS. Avec un peu de chance, on aura le temps de voir la théorie de la preuve présentée dans van Eijck.
• Ici on trouve les diapos d'une présentation pédestre des concepts essentiels.
• Là une présentation complète (256 pages) par Kamp himself.