Lorentz Center - Mathematics: Algorithms and Proofs from 28 Nov 2011 through 2 Dec 2011
  Current Workshop  |   Overview   Back  |   Print   |   Home   |   Search   |     

    Mathematics: Algorithms and Proofs
    from 28 Nov 2011 through 2 Dec 2011

 

Click for enlargement

  • Description and aim of the workshop
     
  • Registration form
     
  • Participants
     
  • Program
     
  • Abstracts
     
  • Event report
     
  • Presentations
     
  • Scientific organizers:
    Bas Spitters (University of Nijmegen, Netherlands)  
    Henri Lombardi (Universite de Franche-Comte, France)  
    Thierry Coquand (Goteborgs Universitet, Sweden)  
    Marie-Francoise Roy (Universite de Rennes 1, France)
     
  • Workshop Coordinator: Tel: +31-71-5276146
     
    Organizational Log-in (restricted)
     


 


   [Back]