The OpenDreamKit Team held a workshop on knowledge representation to synchronize views and start coding for Work Package WP6 … details/program.
The 15 participants explored the Math-in-the-Middle Architecture (originally introduced as Knowledge-First-Strategy) introduced by the WP6 leader and they started coding towards realizing it.
This information architecture uses a central mathematical ontology represented in OMDoc/MMT as a central vocabulary for specifying system behaviors and capabilities, while documenting the maths involved to users.