merge

courses/aisysproj.md

@@ -27,7 +27,7 @@ Generally, you can pick whichever project sounds more interesting to you/is more
 If you need two projects, you can also take both, but you cannot start both at the same time.
 
 **Requirements:** There are no formal requirements, but we strongly recommend
-that have taken the AI lecture or take it in parallel.
+that you either have taken the AI lecture or will take it in parallel.
 Furthermore, you should have substantial programming experience (the programming language is not important) because you will have to program a lot.
 In particular, the AI systems project is not a programming course, i.e. we expect that you are already proficient.
 
@@ -68,7 +68,7 @@ The project timeline is quite flexible:
 * Once you have solved the warm-up problem, you can sign up to solve the other ≈5 problems. These are intended to be solved in teams of size two,
     but currently we also allow teams of size one (that might change at any point though).
     Each problem is offered once a semester. It's up to you if you want to do all of them in one semester or e.g. spread it over two semesters.
-* You will have to a give a presentation on one of the problems. We will use some sort of sign-up process for that as well.
+* You will have to give a presentation on one of the problems. We will use some sort of sign-up process for that as well.
 * You will have to write a report on one of the problems (can be the one you present). Furthermore, we will simulate double-blind peer review,
     which means that you will have to write 3 anonymous reviews for other students' reports.
 

courses/swuv.md

@@ -28,10 +28,9 @@ semesters:
 ##### Administrative
 
 The seminar is offered every semester. No formal registration is necessary - just attend the first meeting.
-It takes place <!--- every Thursday 14:15-15:45 -->
-Wednesdays 16:15-17:45 throughout the lecture period in Room 00.131-128, Cauerstraße 11.
+It takes place every Thursday 14:15-15:45 throughout the lecture period in Room 00.131-128, Cauerstraße 11.
 
-For general discussion of the seminar, use the chat room https://matrix.to/#/#swuv:fau.de.
+For general discussion of the seminar, use the chat room [#swuv:fau.de](https://matrix.to/#/#swuv:fau.de).
 
 The seminar takes place in-person unless mentioned otherwise.
 If we need to do it via zoom, we will use the following room:
@@ -56,11 +55,8 @@ above (easy talks are early!).
 
 |Date|Speaker|Topic|Remark|
 |----|-------|-----|------|
-| 17. 04. 2024 | Kohlhase | Admin, discussion of topics ||
-| 24. 04. 2024 |  | How to read a paper? ||
-| 01. 05. 2024 | holiday ||
-| 08. 05. 2024 |  | How to give a presentation |
-| 15. 05. 2024 | | |
+| 17. 10. 2023 | Kohlhase, Rabe | Admin, discussion of topics ||
+| 24. 10. 2023 | Kohlhase, Rabe  | TBD ||
 
 ##### Content and Audience
 
@@ -93,7 +89,7 @@ Students are allowed and encouraged to make suggestions for their topic - anythi
 Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
 In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable.
 
-##### For the record SS 2024
+##### For the record: Schedule SS 2024
 
 |Date|Speaker|Topic|Remark|
 |----|-------|-----|------|
@@ -133,8 +129,6 @@ In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, K
 | | Johannes Hoang | GeoGebra Discovery / Automated reasoning tools in GeoGebra Discovery | |
 | | Bhupali Chakraborty | Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks |
 
-
-
 ##### For the record WS 2023/2024
 
 |Date|Speaker|Topic|Remark|