cofi-list Mail Archive Threads 2000
Thread index
Last updated: Tue Jan 02 23:15:02 2001
5 messages
CoFI workshop at ETAPS'2000 in Berlin, 1-2 April 2000,
Don Sannella
CASL tutorial at CoFI workshop: 1-2 April during ETAPS 2000, Berlin,
Don Sannella
CASL Tutorial,
Michel Bidoit
CoFI workshop and summer school; CoFI/CASL logos,
Don Sannella
Mail converted by MHonArc 2.4.6