cofi-list Mail Archive Threads 1999

Thread index
Last updated: Sun Nov 21 23:15:03 1999
11 messages
  • CoFI workshop at ETAPS'99 in Amsterdam, 27-28 March 1999, Don Sannella
  • WADT'99 and FM'99, Don Sannella
  • Material on algebraic specification, Till Mossakowski
  • CoFI funding for WADT'99 and FM'99; CoFI logo contest, Don Sannella
  • CoFI: invitation to participate + upcoming meetings, Don Sannella
  • CoFI logo contest (reminder), Don Sannella
  • WADT'99, Don Sannella
  • CoFI: logo contest + CoFI WG expense claims, Don Sannella
    • Mail converted by MHonArc 2.4.0