From bda9ef15d86742e0f244e82be159fe17afc044e4 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 7 Oct 2017 17:12:36 +0200
Subject: [PATCH] moved to admin repos

---
 potential-members.md | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 potential-members.md

diff --git a/potential-members.md b/potential-members.md
deleted file mode 100644
index 0232486..0000000
--- a/potential-members.md
+++ /dev/null
@@ -1,24 +0,0 @@
-## 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 Howard Cohl with 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
-- Jordi Saludes (he die Math Grammars in Molto project and is rumored to start things again)
-- Andreas Strotmann (he too).
-
-And the [International Mathematical Knowledge Trust (IMKT)](http://imkt.org) could provide admin/political support.
-
-
-
-- 
GitLab