From fc9434d4392721520c8daf19e35b02d468f4f43d Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sun, 15 Oct 2017 12:22:20 +0200 Subject: [PATCH] upddates --- courses/lbs.md | 2 +- courses/wuv.md | 2 +- people/jfschaefer.md | 4 +++- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/courses/lbs.md b/courses/lbs.md index 0e6001c..ab79053 100644 --- a/courses/lbs.md +++ b/courses/lbs.md @@ -25,6 +25,6 @@ aus dem vorhergehenden Sommer-Semester ist sehr hilfreich für den praktischen T keine notwendige Voraussetzung. Diskussionen finden auf dem -[FSI Forum LBS](https://fsi.cs.fau.de/forum/?????) statt. Dies ist +[FSI Forum LBS](https://fsi.cs.fau.de/forum/152-Logik-Basierte-Sprachverarbeitung) statt. Dies ist eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum abonnieren! diff --git a/courses/wuv.md b/courses/wuv.md index 11e5afb..aa8fa7e 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -39,7 +39,7 @@ Hier ist eine Auswahl für das WS 17/18: | McAllister-Foundation || mit Voldemort's Theorem (schwer) ||| -Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/?????) +Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung) statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum abonnieren! diff --git a/people/jfschaefer.md b/people/jfschaefer.md index c66c2d2..c39de2e 100644 --- a/people/jfschaefer.md +++ b/people/jfschaefer.md @@ -5,6 +5,8 @@ role: master-student pic: public/images/jfschaefer.jpg start_date: 2014-03 --- -### Thesis Title: +KWARC Master Student + +### Bachelor's Thesis Title: Declaration Spotting in Mathematical Documents -- GitLab