cofi-list Mail Archives 1997

• Thread Index

• [CoFI] News
  97/12/19 -- pdmosses
• [CoFI] Task group meetings in Bremen, 9-11 Jan 1998
  97/12/19 -- Sylvie Rauer
• [CoFI] Meetings in Bremen, 9-11 January 1998 - REMINDER
  97/12/15 -- pdmosses
• [CoFI] Meetings in Bremen, 9-11 January 1998
  97/12/02 -- pdmosses
• [CoFI] 2nd cfp MPC'98: Mathematics of Program Construction 98
  97/09/29 -- pdmosses
• [CoFI] Meetings in Amsterdam, 27-28 Sep 97 - Registration
  97/08/20 -- pdmosses
• [CoFI] servers down Tue 1 July until 2pm
  97/06/29 -- pdmosses
• Tentative approval of CASL; concrete syntax; meetings in September
  97/06/12 -- pdmosses
• WWW server now OK
  97/05/22 -- pdmosses
• mail and www at brics.dk (almost) back to normal
  97/05/22 -- pdmosses
• Mail and WWW problems at Aarhus
  97/05/22 -- pdmosses
• Re: CASL Design Proposal
  97/05/20 -- pdmosses
• CASL Design Proposal
  97/05/14 -- pdmosses
• 2 Junior Research Positions at the Eindhoven Univ. of Techn.
  97/05/08 -- Dieter K. Hammer
• CASL Design Proposal v0.96; Note S-1; Meetings in Tarquinia
  97/04/29 -- pdmosses
• JUNIOR RESEARCHERS positions at the University of Amsterdam
  97/04/02 -- Mark van den Brand
• postdoc position in Formal Specification Languages
  97/03/27 -- Tineke de Bunje
• Major update of CoFI WWW pages; new CoFI Notes series
  97/03/11 -- pdmosses
• REMINDER - 12th WADT Workshop on Alg.Develop.Techn.
  97/02/21 -- 12th Workshop on Alg.Develop.Techn.
• industrial applications of algebraic specifications?
  97/02/18 -- Ed Kazmierczak
• ASF+SDF'97 -- call for papers
  97/02/04 -- alex M.P.A. Sellink
• Last-minute comments on CoFI paper?
  97/01/30 -- pdmosses
• CASL - Tentative Design - Language Summary
  97/01/22 -- Secr.Prof.Ehrig(Helga Barnewitz