Newsgroups: fr.announce.seminaires
Distribution: fr
To: fr-sem@frmug.org
From: .COUPER-CECI.fr
Organization: INRIA-Rocquencourt
Subject: SEM - INRIA : Coq - 16/11/99 - Paris - FR

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E
       ____               ____                             ___                
      /    _   _         /     __     __  /_  _   /       /   |  _   __   _   
     /    / \ / \  ___  /     /  | / /_  /   __| /  ___  /___/  __| /  | __|  
    |___  |_/ |_/      |____ /    / __/ |_  |_/ |_      /      |_/ /    |_/   
               /                                                              
              /                                                               
                          I N R I A - Rocquencourt, 
                       Salle de conference du Bat 11

                     Mardi 16 novembre, de 10h30 à 16h

        ------------------------------------------------------------
        Boulmé Sylvain, Geuvers Herman, Mayero Micaëla, Pottier Loïc
        ------------------------------------------------------------


    ===================================================================
    Journée spéciale "FORMALISATION DE THÉORIES MATHÉMATIQUES DANS COQ"
    ===================================================================

Programme de la journée
   
10h30-11h15 : Micaëla Mayero (INRIA - Rocquencourt)
"Differentiation in Coq"

11h15-12h : Sylvain Boulmé (Université Paris 6)
"Specifications and Proofs of Computer Algebra Libraries"

14h-15h : Herman Geuvers (Université d'Eindhoven)
"A constructive proof of the Fundamental Theorem of Algebra in Coq"
-- Work in progress
Joint work with Freek Wiedijk and Randy Pollack

15h-16h : Loïc Pottier (INRIA - Sophia Antipolis)
"A formalization of algebra and sheaves in Coq"
Joint work with Laurent Chicli

Le programme complet avec les résumés est disponible à l'adresse
"http://coq.inria.fr/MATH-IN-COQ"