home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fnet / seminair / 67 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  702 b 
  1. Path: sparky!uunet!know!mips2!bull.bull.fr!julienas!seti!logique.jussieu.fr
  2. From: roziere@logique.jussieu.fr (Paul Roziere)
  3. Newsgroups: fnet.seminaires
  4. Subject: programmation par preuves
  5. Message-ID: <4712@seti.inria.fr>
  6. Date: 10 Dec 92 10:57:22 GMT
  7. Sender: news@seti.inria.fr
  8. Distribution: fnet
  9. Lines: 15
  10. Approved: werner@margaux.inria.fr
  11. Jour: 16/12/92
  12. Lieu: Jussieu
  13.  
  14.  
  15. Groupe de travail `` programmation par preuves'' du mercredi matin,
  16. Mercredi de 10 heures  `a 12 heures. Jussieu, couloir 45-55, salle 511.
  17.  
  18.  
  19. Prochains  expose's :
  20.  
  21. Le 9.12.92, pas de se'ance.
  22.  
  23.  
  24. Le 16.12.92, Benjamin Werner:
  25.         Extraction de programmes sans redondances par marquage des preuves.
  26.  
  27.  
  28. Le 23.12.92, pas de se'ance.
  29.