From ee5607e74cb63c86497969a6bd4bbc7d7f29c344 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Thu, 24 Oct 2024 06:16:10 +0200 Subject: [PATCH] more --- courses/symnlproj.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/courses/symnlproj.md b/courses/symnlproj.md index a031915..886234e 100644 --- a/courses/symnlproj.md +++ b/courses/symnlproj.md @@ -19,6 +19,9 @@ The project will be to implement these in state of the art meta-linguistic/logical/computational frameworks developed at the [KWARG group]{https://kwarc.info). +##### Organization + +The project will start in the third week of classes (so that the LBS course can cover some of the material this project wants to implement) with an admin meeting. Details will be announced. **Requirements:** There are no formal requirements, but we strongly recommend that you either have taken the LBS course or will take it in parallel. Furthermore, we -- GitLab