diff --git a/README.md b/README.md index 129188782fa9fe4e472654cccf2a1612cbf91aa5..ab9d87920e4c0b8643e8b889a4c56a8c3975bb04 100644 --- a/README.md +++ b/README.md @@ -15,13 +15,13 @@ the candidate in a personal "thesis negotiation process". Actually, as theses in about fundamental and systems research (i.e. the research question co-evolves with the results obtained), the "thesis topic" will just be an initial idea to be understood and developed further during the thesis research process.This applies to the topics listed -below, in particular, you should contact the Principal Investigator of KWARC +below, in particular, you should contact the Principal Investigator of KWARC: [Prof. Michael Kohlhase](http://kwarc.info/kohlhase). ## Thesis Topcis. Topcis are available in the following larger areas, individual topics will be encoded as -[issues](issues), details can be discussed in their +[issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their * Serious Games for Maths (based on logic and theory graphs) * Semantics-Extraction from technical/mathematical documents (and the use of this in