cofi-list Mail Archives 1999

• Thread Index

• CoFI WG annual report; CoFI publications
  99/11/29 -- Don Sannella
• CoFI: logo contest + CoFI WG expense claims
  99/09/29 -- Don Sannella
• WADT'99
  99/09/09 -- Don Sannella
• CoFI logo contest (reminder)
  99/09/06 -- Don Sannella
• CoFI: invitation to participate + upcoming meetings
  99/08/13 -- Don Sannella
• CoFI funding for WADT'99 and FM'99; CoFI logo contest
  99/07/15 -- Don Sannella
• Material on algebraic specification
  99/06/11 -- Till Mossakowski
• WADT'99 and FM'99
  99/04/28 -- Don Sannella
• Re: CoFI workshop at ETAPS'99 in Amsterdam, 27-28 March 1999
  99/02/24 -- Alexandre Zamulin
• Re: CoFI workshop at ETAPS'99 in Amsterdam, 27-28 March 1999
  99/02/24 -- Don Sannella
• CoFI workshop at ETAPS'99 in Amsterdam, 27-28 March 1999
  99/02/12 -- Don Sannella
• CoFI workshop at ETAPS'99 in Amsterdam, 27-28 March 1999
  99/02/12 -- Don Sannella