diff --git a/README.md b/README.md index f7cdd2b0ceb9d3f09decded935ddd459db209cec..2b2ef3b1ba24de0aa803a2f6f5e2bfedf1eedd96 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,8 @@ The KWARC research group conducts research in knowledge representation and reaso The KWARC group has a strong tradition of involving students in research early. We had Bachelor Students who graduated with multiple papers at international conferences or a -journal article to their name. +journal article to their name. They started in their first years of study at Jacobs +University. Generally, we try to tailor thesis topics matching the KWAC interests to the interests of the candidate in a personal "thesis negotiation process". Actually, as theses in KWARC are @@ -30,6 +31,7 @@ below, in particular, you should contact the Principal Investigator of KWARC: Topcis are available in the following larger areas, individual topics will be encoded as [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their +* Representation of mathematical knowledge via Theory Graphs: #2 * Serious Games for Maths (based on logic and theory graphs): #1 * Semantics-Extraction from technical/mathematical documents (and the use of this in [mathematical search engines](http//search.mathweb.org))