Formal Language Semantics
I had been part of the EU project DeStijl -
DEsign and Specification Through Interfacing and Joining
Languages - see below.
The HCM project De Stijl
De Stijl (Design and Specification Through Interfacing and
Joining Languages) is a Human Capital and Mobility (HCM) network
project. The project fits into the framework of formal language
engineering and aims at fundamental theoretical results relating
features of existing languages for software specification and design.
The scientific results should be applicable in the integration and
improvement of specification and design methods.