From 5285dacc788305fb06548fde6a44a8446b5f8fcb Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Wed, 7 Sep 2016 08:27:05 +0200 Subject: [PATCH] URI --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1291887..ab9d879 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 -- GitLab