cofi-list Mail Archive Threads 1999

Thread index
Last updated: Tue Feb 15 09:17:31 2000
12 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
  • CoFI WG annual report; CoFI publications, Don Sannella
    • Mail converted by MHonArc 2.4.0