• A. Initial notification (by e-mail) to Till Mossakowski that a potential extension is being developed, with a concise indication of the nature of the extension, and the intended acronym. The proposers will be informed of any related potential extensions. The proposed language will be announced on the CoFI-Discuss mailing list, and listed on the Extensions page with the label

• B. Submission of a proposal for preliminary approval as a potential extension. The submission should indicate how the proposed language would extend CASL, and argue that it is a conservative extension of CASL (or at least of a significant and useful sublanguage). The proposal must be convincing about the semantics, but the details need not necessarily have been worked out yet; thus it has the character of a Study Note with sketchy semantics. It should outline the intended application area. Steps A and B may be subsumed by publication of refereed papers in the proceedings of workshops or conferences whose programme committees include at least one CoFI Steering Committee member. Such papers should state clearly whether the described language is intended as a potential extension of CASL or not. The proposal will be announced on the CoFI-Discuss mailing list, and made accessible on the Extensions page with the label

  If no substantial objections are raised within one month, the proposal is granted preliminary approval.

• C. Submission of a document that provides the changes required to the CASL Summary and Syntax to obtain the Summary and Syntax of the proposed extension, and a document that adequately explains the details of the intended semantics of the new constructs. The proposal will be announced on the CoFI-Discuss mailing list, and made accessible on the Extensions page (without a label). The proposal is then reviewed anonymously by expert reviewers.

• D. Assessment of the proposal and the expert reviews by a committee appointed by IFIP WG1.3. If possible, a public oral presentation of the proposal to the committee will be arranged, co-located with an IFIP WG1.3 meeting.

• E. The recommendation of the committee is circulated to the IFIP WG1.3 members, together with the proposal and the expert reviews, for endorsement. When finally approved, the extension language will be listed on the Extensions page with the label

Which are the benefits for a language proposer?

• Based on available ressources, CoFI participants will take a close look at the proposed language and give constructive feeback.
• Free access to and connection with other CASL languages, includig the repository of examples and CASL library.
• Advertisement of the language in CASL presentations. roposed language and constructive feeback.