more

README.md

@@ -37,16 +37,17 @@ Topcis are available in the following larger areas, individual topics will be en
 their discussion areas.
 
 * Representation of mathematical knowledge via Theory Graphs: #2 #3 #4
-* Representation of logical systems and their trnaslations via Theory Graphs: #5
+* Representation of logical systems and their trnaslations via Theory Graphs: #5 #8
 * Serious Games for Maths (based on logic and theory graphs): #1 #3
 * Semantics-Extraction from technical/mathematical documents (and the use of this in
   [mathematical search engines](http//search.mathweb.org)); #2 #6
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
   [MathHub System](http://mathhub.info)). #7
 * Active Dokuments and the integration of semantic services into technical/mathematical
-  documents (e.g. for course materials)
+  documents (e.g. for course materials): #9
 * Interoperability and integration of mathematical software systems - e.g. computer
   algebra, math data bases, theorem provers (in the
   [OpenDreamKit](http://opendreamkit.org) EU project) #7
 * Cognitive engineering (semantische information/help systems for CAD/CAM systems).
 * Corpus Linguistics for Mathematics: #2 #6
+* UIs and Interaction with all of this: #8