Update swuv.md

courses/swuv.md

@@ -58,7 +58,7 @@ If we need to do it via zoom, we will use the following room:
 | | | | (moved to June 26th) |
 | 12. 06. 2024 | Wenwen Wang | Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT ||
 | | Ilias Anwari | The Eye in Extended Reality: A Survey on Gaze Interaction and Eye Tracking in Head-worn Extended Reality ||
-| | Moiz Riaz | A Proof-Producing Compiler for Blockchain Applications |
+| | Moiz Riaz | A Proof-Producing Compiler for Blockchain Applications | (moved to July 3rd)
 | 19. 06. 2024 | Priyanka Singh | Large Language Models as Knowledge Bases? / Find The Gap: Knowledge Base Reasoning For Visual Question Answering ||
 | | Malika Tillaeva | Caminati, Isabelle Formalisation of Original Representation Theorems | 
 | | Muqaddas Ramzan | Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols | 
@@ -68,9 +68,11 @@ If we need to do it via zoom, we will use the following room:
 | 03. 07. 2024 | Annick Faal | Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method ||
 | | 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) |
 | | 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) | |
 | | Johannes Hoang | GeoGebra Discovery / Automated reasoning tools in GeoGebra Discovery | |
 | | Bhupali Chakraborty | Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks |