Organizations and Projects

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)

Organizations and Projects