CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

Organization

From CoFI

CoFI is a voluntary organization, sponsored by IFIP WG1.3.

In June 2006, the CoFI overall coordination was handed over from Don Sannella to Till Mossakowski. The current membership of the CoFI Steering Committee is:


The ESPRIT CoFI Working Group Home Page provides archived information about what was accomplished during the funding period (1998-2001), and is mirrored here.


The rest of this page concerns the previous CoFI Task Groups, which have terminated.

Before its reorganization in July 2003, the Common Framework Initiative had task groups on language design, semantics, tools, methodology, and reactive systems. Each task group had its own aims and scope, coordinator, registered participants, mailing list, and notes series; some also provided their own home pages at other sites.

There was a substantial amount of interaction between the task groups, which was supported by many of the CoFI participants being active in more than one task group.

The overall coordination of these task groups was managed by Peter Mosses (Aarhus) from the start of CoFI in September 1995 until August 1998, and subsequently by Don Sannella (Edinburgh).

The web pages of the various task groups are still accessible via the following links. Note that those pages are no longer being maintained, and the information there will gradually be superseded by that on other pages.

Language Design
Semantics
Tools
Methodology
Reactive Systems

old CoFI webpage at BRICS

Retrieved from "http://www.informatik.uni-bremen.de/cofi/index.php/Organization"

This page has been accessed 17,358 times. This page was last modified 15:03, 10 October 2009.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...