cofi-list Mail Archives 2000
Last updated: Tue Jan 02 23:15:02 2001
5 messages in reverse chronological order
Thread Index
CoFI workshop and summer school; CoFI/CASL logos
00/12/18 --
Till Mossakowski
CoFI workshop and summer school; CoFI/CASL logos
00/07/03 --
Don Sannella
CASL Tutorial
00/04/12 --
Michel Bidoit
CASL tutorial at CoFI workshop: 1-2 April during ETAPS 2000, Berlin
00/02/29 --
Don Sannella
CoFI workshop at ETAPS'2000 in Berlin, 1-2 April 2000
00/01/13 --
Don Sannella
CoFI: The Common Framework Initiative
Mail converted by
MHonArc
2.4.6