diff --git a/courses/symnlproj.md b/courses/symnlproj.md index a031915a900feecc740f786324aa2cd61bb856ce..886234efa9a59af9b860eaba01ba734b1b8d95d3 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