From 4c559e593aa6fa7d1b6e60a05ebd7f813af3f76f Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Mon, 1 May 2017 14:45:13 +0200 Subject: [PATCH] more --- students/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/students/overview.md b/students/overview.md index f681d8e..3b22821 100644 --- a/students/overview.md +++ b/students/overview.md @@ -4,7 +4,7 @@ title: For Students menu_title: KWARC For Students menu_order: 1 --- -The KWARC Group welcomes student involvement in research. If you are interested, please send an e-mail to <a href="mailto:kohlhase@kwarc.info>Michael Kohlhase</a>, or come to our seminars and courses +The KWARC Group welcomes student involvement in research. If you are interested, please send an e-mail to <michael.kohlhase@fau.de>, or come to our seminars and courses We have an initial list topics for [theses, or guided research](https://gl.kwarc.info/kwarc/thesis-projects) -- GitLab