diff --git a/courses/swuv.md b/courses/swuv.md index d2ea3bd3855adee9bb65de912603def7e718b485..4092251f7728bdfac7805e75672fa7867eb829af 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -69,8 +69,8 @@ If we need to do it via zoom, we will use the following room: | | Marius Lin | Can Large Language Models be too big? | | | Md Redwan Hossain | An Experimental Pipeline for Automated Reasoning in Natural Language | | | Moiz Riaz | A Proof-Producing Compiler for Blockchain Applications | (moved from June 12th) -| 10. 07. 2024 | Ali Kodera | TBA | (research) | -| | Shamseldin Elkhatib | TBA | (research) | +| 10. 07. 2024 | Ali Kodera | Formalizing Programming Concepts | informal research project | +| | Shamseldin Elkhatib | Semantic Algorithm Description Package | informal research project | | | Vatsal Bambhania | DeepOnto: A Python Package for Ontology Engineering with Deep Learning || | | Shokoofeh Kheirdastan | Explainable convolutional neural networks for assessing head and neck cancer histopathology. || | 17. 07. 2024 | David Meier | Evasiveness Through Binary Decision Diagrams (Jesús Aransay, Laureano Lambán, and Julio Rubio) | |