course updates

courses/KRMT.md

@@ -3,7 +3,7 @@ layout: course
 title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
 instructors:
     - mkohlhase
-    - dmueller
+	- frabe
 semesters:
     - SS17 
     - SS18 
@@ -11,19 +11,25 @@ semesters:
     - SS20 
     - SS21 
     - SS22 
+    - SS23 
+    - SS24 
+    - SS25 
 ---
 
-Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
-Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten,
-Formalisierung von Logiksprachen in Metalogiken.
+Thi course covers the foundations of mathematics, modular formalizations in theory graphs,
+narrative structures in informal mathematical/technical documents, and the formalization
+of logical languages in meta-logical frameworks. 
 
-Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
-Projektorientiert aufbauen. Im wesentlichen werden wir gemeinsam mathematisches Wissen und
-Beschreibungssprachen in [OMDoc/MMT](http://uniformal.github.io) formalisieren.
+This is (tradictionally) a small course, so we can make it very interactive and
+project-like. The contents are split between 
+* lectures, where we discuss the concepts and
+* labs, where we jointly formalize mathematical knowledge and representation languages in
+  [OMDoc/MMT](http://uniformal.github.io).
 
-Materialien:
+Materials:
 
+* [KRMT on StudOn](https://www.studon.fau.de/crs4499012.html)
 * [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
-* [Tutorial zur Formalisierung](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
-* [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
+* [Formalization Tutorialz](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
+* [Formalizations of the last years](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
  

courses/lbs.md

@@ -3,7 +3,7 @@ layout: course
 title: Logik-Basierte Sprachverarbeitung (LBS)
 instructors:
     - mkohlhase
-    - frabe
+    - jfschaefer
 semesters:
     - WS17/18
     - WS18/19 
@@ -11,6 +11,8 @@ semesters:
     - WS20/21 
     - WS21/22
     - WS22/23
+    - WS22/24
+    - WS22/25
 ---
 
 Dieser Kurs behandelt Grundlagen der logikbasierten Sprachverarbeitung - Syntax,