From 4979ee59d7ff349319c7ec7b0cbac63e8ddb1294 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 10 Jul 2024 14:04:17 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index d2ea3bd..4092251 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) | | -- GitLab