Do-Form: Community

In the phase of “matchmaking” between hammers and nails in our two-stage submission process we aim at building the core of a community interested in applied formalisation. This will be continued at the symposium itself.

For now, we have started to build a community around the specific application domain of economics. This community building process takes place in the context of our ForMaRE project (formal mathematical reasoning in economics). In particular, we run a discussion mailing list, but see the ForMaRE homepage for further community-related information.

This page was last modified on 10 April 2013.