JFLA 2001 : les actes

Lundi 29 Janvier

Conférence invitée, par Gilles Dowek

Articuler raisonnement et calcul (en déduction modulo) : jusqu'où peut-on aller ?
les transparents

Les exposés

Mardi 30 Janvier

Conférence invitée, par Christian Queinnec

Du bon usage des continuations pour la programmation de serveurs ouèbe
les transparents

Les exposés