Technical directions on adding a system

To add a new system, create a file in this directory, taking the existing files as examples.

Each post needs some specific parameters:

• layout use system
• title the title of the system
• subtitle (optional) a subtitle. It will be adjuncted to your title in the post link and just under the title in the post page
• teaser (optional) a one-line description for the overview
• people (optional) the KWARC people involved in this
• collaborators (optional) the outside collaborators
• start (optional) the system start date
• end (optional) the system end date
• pillar (optional) the pillar (in the sense of http://kwarc.info/research) of the system); use one of semantization, KMR, or foundations.
• redirect_from (optional) not needed for new systems, this is just the redirect link from old activities pages on the former site.
• funding (optional): the funding body, DFG, Leibniz Foundation, EU, Industry
• homepage (optional): the system home page
• repos (optional): the system repository