cofi-methodology Mail Archives 2000

• Thread Index

• Revised version of note M-4 available
  00/12/13 -- Michel Bidoit
• some more fixes and questions
  00/12/13 -- Giuseppe Scollo
• comments on CASL Tutorial
  00/12/13 -- Giuseppe Scollo
• First two CASL Case Studies on the Web
  00/12/13 -- Hubert Baumeister
• apol.
  00/12/13 -- Michel Bidoit ,Michel Bidoit <Michel.Bidoit@lsv.ens-cachan.fr>
• URGENT: CoFI WG annual report
  00/10/16 -- Michel Bidoit
• Minutes of the CoFI Methodology meeting in Berlin
  00/04/11 -- Michel Bidoit
• Plans for the next CoFI Methodology meeting in Berlin
  00/03/23 -- Michel
• Next CoFI-Methodology meeting in Berlin
  00/02/22 -- Michel