cofi-language Mail Archives 2001

• Thread Index

• ETAPS 2002, CALL FOR SUBMISSIONS - TOOL DEMOS, ...
  01/10/30 -- etaps02.VERIMAG
• ETAPS 2003: CALL FOR SATELLITE EVENT PROPOSALS
  01/09/23 -- etaps03
• Re: CASL - Basic Datatypes
  01/06/28 -- Michel Bidoit
• CASL - Symbol maps with default mechanism
  01/06/26 -- Till Mossakowski
• Re: CASL - Basic Datatypes
  01/06/26 -- Markus Roggenbach
• Re: CASL - Basic Datatypes
  01/06/01 -- Michel Bidoit
• Re: CASL - Basic Datatypes
  01/06/01 -- Markus Roggenbach
• Re: CASL - Basic Datatypes
  01/05/30 -- Michel Bidoit
• CASL - Basic Datatypes
  01/05/10 -- Markus Roggenbach
• [CoFI] Language Design Task Group Meeting - Minutes
  01/05/09 -- pdmosses
• URGENT - CoFI Language Design publications
  01/05/09 -- pdmosses
• [CoFI] Language Design Task Group Meeting, 3 April, Genova
  01/03/26 -- Peter D. Mosses
• New version of the CASL Basic Datatypes
  01/03/23 -- Till Mossakowski
• CASL v1.0.1 released
  01/03/20 -- Peter D. Mosses
• ETAPS 2001: SECOND CALL FOR PARTICIPATION
  01/02/25 -- Etaps 2001
• Deadline for CASL 1.0.1 changes
  01/02/06 -- Till Mossakowski
• More on the Basic Datatypes
  01/02/02 -- till
• Re: Towards a new version of the CASL Basic Datatypes
  01/02/02 -- Peter D. Mosses
• Research assistant positions in Bremen
  01/02/02 -- till
• Reminder: Basic datatypes
  01/01/19 -- till
• WADT/CoFI 2001 - DEADLINE EXTENSION
  01/01/12 -- TR
• WADT/CoFI 2001 - FINAL CALL FOR ABSTRACTS
  01/01/09 -- wadt2001