Flirts -- Formalism, Logic, Institution - Relating, Translating and Structuring | |
|
|
About Flirts | |
The FLIRTS initiative intends to offer a forum for all people involved in research in the area of institutions and analogous metatheories for formal methodologies supporting software specification.
To see the collection of prior postings to the list, visit the Flirts Archives. |
|
Using Flirts | |
To post a message to all the list members, send email to
flirts@informatik.uni-bremen.de.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Flirts | |
Subscribe to Flirts by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a public list, which means that the list of members list is available to everyone. (but we obscure the addresses so they are not easily recognizable by spammers). | |
Flirts Subscribers | |
|
version 2.1.16rc2 |