cofi-list Mail Archive Threads 1998

Thread index
Last updated: Tue Aug 03 15:02:03 1999
18 messages

[CoFI] News, pdmosses

13th WADT - CALL FOR SUBMISSIONS [+ CoFI Meeting Plans], Jose Luiz Fiadeiro

[CoFI] Meetings in Lisbon, April 1-4 1998 (during ETAPS/WADT), pdmosses

[CoFI] News - CASL v0.99 syntax, pdmosses

[CoFI] New notes available, pdmosses

[CoFI] CASL v0.99 Summary, pdmosses

[CoFI] Change of overall coordinator, pdmosses

[CoFI] New overall coordinator; funding for European CoFI activity, Don Sannella

No Subject, Don Sannella

[CoFI] Status of CASL Summary, Peter Mosses

[CoFI] Release of FINAL DRAFT of CASL Summary v1.0!, Peter Mosses

**CHANGE OF PLANS** for CoFI workshop in Cachan in November, Don Sannella

[CoFI] News - CASL Summary v1.0 released!, mosses

CoFI Workshop in Cachan - Reminder !, Michel Bidoit

please publish your CoFI-related work!, dts

Mail converted by MHonArc 2.4.0