initial documents derived from the first e-mail

README.md

+This Repository supports the planning and initial development of a **Special Interest Group for Math Linguistics** (SIGMathLing).
+
+We collect and develop planning/outreach documents here. They may turn into the beginnings of a web site soon. As we will probably want to use jekyll for that, we will already put the documents into Markdown and YAML.

charter-short.md

+# SIGMathLing charter - short version
+
+## 1. Purpose/Objectives
+SIGMathLing organizes a community of researchers and developers in Math Lingusitics with the following objectives:
+  <<see objectives.md>>
+
+## 2. Members
+Any individual involved in research and application development in math linguistics can join SIGMathLing, provided they agree to 
+1. a flexible NDA (all resources stay inside SIGMathLing and are used only for research purposes, unless the licenses explicitly allow so).
+2. contributing (all?) their linguistic resources into SIGMathLing
+3. opening up their analysis results to the others
+4. upon cessation of membership, the NDA terminates and all SIGMathLing-internal data is permanently deleted. 
+
+## 3. Governance
+SIGMathLing is an informal member organization, decisions are made by the bi-annual, online members meeting. Inbetween these, an elected executive commitee conducts day-to-day business (transparently informing the members where possible). All discussion is conducted or documented via public (or where necessary private) online channels. 

charter.md

+# SIGMathLing charter - full version
+
+See the [charter summary](charter-short) over an overview without operational details.
+
+## 1. Purpose/Objectives
+SIGMathLing organizes a community of researchers and developers in Math Lingusitics with the following objectives:
+  <<see objectives.md>>
+
+## 2. Members
+Any individual involved in research and application development in math linguistics can join SIGMathLing, provided they agree to 
+1. a flexible NDA (all resources stay inside SIGMathLing and are used only for research purposes, unless the licenses explicitly allow so).
+2. contributing (all?) their linguistic resources into SIGMathLing
+3. opening up their analysis results to the others
+4. upon cessation of membership, the NDA terminates and all SIGMathLing-internal data is permanently deleted. 
+
+## 3. Governance
+SIGMathLing is an informal member organization, decisions are made by the bi-annual, online members meeting. Inbetween these, an elected executive commitee conducts day-to-day business (transparently informing the members where possible). All discussion is conducted or documented via public (or where necessary private) online channels. 

objectives.md

+# Objectives of SIGMathLing
+
+1. getting together researchers and application developers interested in maths linguistics to create a critical mass.
+2. promoting open licensing of math linguistics resources. 
+3. collecting, curating, and internally/externally distributing a set of maths linguistic resources (corpora, lexica, libraries, tools, and benchmarks).
+

potential-members.md

+## Potential Members
+initial members I can see include (please extend)
+
+- KWARC of course
+- Magda Wolska at Tübingen Universitz 
+- Moritz Schubotz and his various collaborators at Konstanz University
+- Bley/Lafferty and their project
+- Richard Zanibbi (Rochester Institute of Technology) 
+- Lee Giles (Penn State) 
+- NIST (Bruce Miller with DLMF and DRMF)
+- Akiko Aizawa and Goran Topic
+- Various Corpus providers like zbMATH (they are moving towards an open content policy), maybe even arXiv.
+- maybe Math corporations like WIRIS and Authorea and Volker Sorge's Accessibility outfit?
+- Aarne Ranta and friends
+- Arnold Neumaier and the Concise Group at Vienna University
+- Josef Urban at Prague University has a project in this direction
+- there is a group at Google who wants to do automated formalization via Deep Neural Networks
+
+And the [International Mathematical Knowledge Trust (IMKT)](http://imkt.org) could provide admin/political support.
+
+
+

services.md

+# SIGMathLing Servcies
+
+SIGMathLing provides its member and the research community with a set of services to meet its [objectives](objectives). These are jointly funded and maintained by SIGMathLing members ([technical concerns](technical/)
+
+In particular, SIGMathLing maintains
+1. a system of repositories for math linguistics resources.
+2. the math analysis blackboard, i.e. an information system, where analysis results 
+4. a public citable reference page of all the math linguistic resources (just descriptions; not necessary public access for non-members).
+5. a suite of systems and libraries 
+6. internal and outreach communication channels.

technical.md

+# Technical Concerns
+
+Recall that SIGMathLing maintains [a bouquet of services](services/); here we air some
+technical concerns and ideas.  
+1. a system of **resource repositories**. MK: I would just make a GitHub/Lab organization and somehow pay for their services or use our KWARC GitLab. Git LFS should help us deal with the large files involved and Git would take care of permission management.
+2. the **math analysis blackboard** I would develop and publish an annotation schema
+   (using the KAT schema as a starting point) and establish a math result triple store
+   that manages all of these. Technical details are still open how best to do this, but I am sure Deyan has some ideas.
+3. A **web site**, MK: I would go via GitHub/GitLab pages and jekyll, that makes communal
+   development 
+4. a **resource reference page**: MK, this is just a page on the web page, probably automatically generated from an internal data base of resources and/or harvested from the repositories. Licensing should be made transparent. 
+5. a **suite of systems and libraries**: Initially, this will be a page on the website with links to their repositories (the LlaMaPuN library, CorTeX, KaT, .... ), mostly by reference to public resources.
+6. **communication channels**: we start out with a members mailing list, a public atom feed for announcments (from the web site), later there may even be a regular newsletter that digests these.