10:00 Richard
Moot CNRS LIRMM La quantification dans les grammaires
catégorielles 11:30 Christian
Retoré Université de Montpellier LIRMM Une introduction
aux quantificateurs epsilon et tau de Hilbert
14:00 David Delahaye Université de
Montpellier LIRMM
Déduction automatique à epsilon près 15:30 Viviane
Durand-Guerrier et Simon Modeste Université de Montpellier IMAG
Questions de quantification en didactique des mathématiques et
de l'informatique