cofi-language Mail Archives 2000

• Thread Index

• Partial and total function symbols
  00/12/22 -- Till Mossakowski
• Towards a new version of the Basic Datatypes
  00/12/18 -- Markus Roggenbach
• WADT/CoFI 2001 - SECOND CALL FOR ABSTRACTS
  00/11/21 -- WADT 2001
• ETAPS 2002 - Call for Satellite Events
  00/11/14 -- Etaps 2002
• URGENT - IMPORTANT - ANSWER NOW !!!
  00/10/26 -- Bernd Krieg-Brueckner
• ETAPS 2001: Deadline Approaching
  00/10/18 -- Etaps 2001
• WADT/CoFI 2001: Call for abstracts
  00/09/29 -- WADT 2001
• Extended Deadline - UML'2000 WORKSHOP DYNAMIC BEHAVIOUR...
  00/08/09 -- Gianna Reggio
• Extended Deadline - UML'2000 WORKSHOP DYNAMIC BEHAVIOUR IN
  00/08/08 -- Gianna Reggio
• First two CASL Case Studies on the Web
  00/07/11 -- Hubert Baumeister
• New version 0.4.1 of the Basic Datatypes
  00/07/07 -- Markus Roggenbach
• Pushout property
  00/06/21 -- Till Mossakowski
• Re: Suggestion for minor change of the concrete syntax
  00/06/21 -- Peter D. Mosses
• Suggestion for minor change of the concrete syntax
  00/06/20 -- Michel Bidoit
• ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
  00/06/15 -- Etaps 2001
• [CoFI] CASL v1.0.1 Summary DRAFT installed
  00/06/05 -- pdm
• Paper on a state-based extension of CASL
  00/05/19 -- Hubert Baumeister
• Re: Minutes of Berlin meeting
  00/05/04 -- Till Mossakowski
• Re: Minutes of Berlin meeting
  00/04/18 -- Andrzej Tarlecki
• Minutes of Berlin meeting
  00/04/13 -- Andrzej Tarlecki
• [CASL] Re: Position of Comments and Annotations
  00/03/24 -- Peter D. Mosses
• Position of Comments and Annotations
  00/03/22 -- Bernd Krieg-Brückner
• Language Design Meeting at ETAPS; Basic Datatypes v0.4
  00/03/18 -- Bernd Krieg-Brückner
• Paper on relating CASL to other languages
  00/03/08 -- Till Mossakowski
• CASL-CHART extension of CASL for reactive systems
  00/02/07 -- Gianna Reggio