diff --git a/courses/lbs.md b/courses/lbs.md index 0e6001c3ac6547d840963e2ce4797c558b864be3..ab79053e3cdee8a46253e2430fcdacfc79be1173 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 11e5afb1a9f19ceb4cf388eef9a54fa86143523c..aa8fa7e6dd4e925a61a7f4f5bf0727325cc50465 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 c66c2d298e07676397e4d53927553fbac31648c4..c39de2e12f3c813a188537dd14d2671325350435 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