Logic List Mailing Archive

Modern Constructive Algebra

15-16 Oct 2011
Besancon, France

-------------------------------------------------------------

Modern Constructive Algebra - Dedicated to Henri Lombardi

      Workshop, Laboratoire de Mathématiques de
      Besançon, France, 15-16 October 2011

      http://epiphymaths.univ-fcomte.fr/fete-a-henri/

Speakers:

     * María Emilia Alonso García (Spain)
     * Thierry Coquand (Sweden)
     * André Galligo (France)
     * Hajime Ishihara (Japan)
     * Alban Quadrat (France)
     * Claude Quitté (France)
     * Fred Richman (USA)
     * Ihsen Yengui (Tunisia)

Organisers: Stéphane Chrétien, Stefan Neuwirth, Hervé Perdry,
             Marie-Françoise Roy, Peter Schuster.

Registration: by email to      stefan.neuwirth@univ-fcomte.fr

----------------------------------------------------------------