cofi-list Mail Archives 1998

• Thread Index

• please publish your CoFI-related work!
  98/12/21 -- dts
• CoFI Workshop in Cachan - Reminder !
  98/10/26 -- Michel Bidoit
• [CoFI] News - CASL Summary v1.0 released!
  98/10/23 -- mosses
• **CHANGE OF PLANS** for CoFI workshop in Cachan in November
  98/10/02 -- Don Sannella
• [CoFI] Release of FINAL DRAFT of CASL Summary v1.0!
  98/10/02 -- Peter Mosses
• [CoFI] Status of CASL Summary
  98/09/14 -- Peter Mosses
• No Subject
  98/09/11 -- Don Sannella
• No Subject
  98/09/04 -- Don Sannella
• [CoFI] New overall coordinator; funding for European CoFI activity
  98/08/14 -- Don Sannella
• [CoFI] Change of overall coordinator
  98/08/12 -- pdmosses
• [CoFI] CASL v0.99 Summary
  98/04/21 -- pdmosses
• [CoFI] News
  98/04/15 -- pdmosses
• [CoFI] New notes available
  98/03/27 -- pdmosses
• Re: [CoFI] News - CASL v0.99 Summary installed
  98/03/25 -- pdmosses
• [CoFI] News - CASL v0.99 syntax
  98/02/17 -- pdmosses
• [CoFI] Meetings in Lisbon, April 1-4 1998 (during ETAPS/WADT)
  98/02/04 -- pdmosses
• 13th WADT - CALL FOR SUBMISSIONS [+ CoFI Meeting Plans]
  98/01/28 -- Jose Luiz Fiadeiro
• [CoFI] News
  98/01/22 -- pdmosses