cofi-list Mail Archive Threads 1997

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