Contribution
            
                Trieste - Italy
                     -
                    Adriatico Guest House Kastler Lecture Hall
            
    
        Automated theorem proving in simplicial topology with ACL2
Organizers
                    Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche
                
             Calendar file
              Calendar file