CoFI	Main Page | About | Help | FAQ | Special pages | Log in
	Printable version | Disclaimers | Privacy policy

Organizations and projects

From CoFI

Contents 1 Organizations and Projects 1.1 AMAST 1.2 ASF+SDF Project 1.3 COMPASS WG 1.4 DeStijl Project 1.5 EAPLS Home Page 1.6 Formal System Analysis Project 1.7 KORSO Project 1.8 SPECTRUM Project

Organizations and Projects

AMAST

AMAST Home Page

ASF+SDF Project

The ASF+SDF Project

COMPASS WG

COMPASS Home Page

DeStijl Project

DeStijl Project

EAPLS Home Page

European Association for Programming Languages and Systems (contains a list of events)

Formal System Analysis Project

Formal System Analysis Project

KORSO Project

KORSO Project Home Page

SPECTRUM Project

SPECTRUM Project Home Page (in German)

View source | Discuss this page | Page history | What links here | Related changes Main Page | About CoFI | Find: This page has been accessed 7,111 times. This page was last modified 14:29, 17 October 2007.