Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

courses/swuv.md

@@ -62,8 +62,10 @@ above (easy talks are early!).
 
 |Date|Speaker|Topic|Remark|
 |----|-------|-----|------|
-| 17. 10. 2023 | Kohlhase, Rabe | Admin, discussion of topics ||
-| 24. 10. 2023 | Kohlhase, Rabe  | TBD ||
+| 17. 10. 2025 | Kohlhase, Rabe | Admin, discussion of topics ||
+| 24. 10. 2025 | Kohlhase, Rabe  | TBD ||
+| 31. 10. 2025 | Kohlhase  | How to read a paper? ||
+| 07. 11. 2025 | Rabe | How to give a talk? ||
 
 <!--- ##### Content and Audience
 

events/GILogicWorkshops/2021/index.md

@@ -6,34 +6,34 @@ title: GI Meeting Deduction and Logic
 ### Online Meeting in Spring 2021
 
 The meeting took place online on March 26.
-The call for contributions is [here](2021/cfp.txt).
-The call for participation is [here](2021/cfpart.txt).
+The call for contributions is [here](cfp.txt).
+The call for participation is [here](cfpart.txt).
 
 The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
 
 #### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
 
-* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](2021/sokolova.pdf)
-* 10:45: David Fuenmayor,	Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/fuenmayor.pdf)
+* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](sokolova.pdf)
+* 10:45: David Fuenmayor,	Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](fuenmayor.pdf)
 * 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf)
-* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](2021/farjami.pdf)
+* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](farjami.pdf)
 * 11:45: *break with free discussion in gather.town*
 
 #### Session 2: 13:00 - 15:15 (chair: Claudia Schon)
 
-* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](2021/gabbay.pdf)
-* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
-* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
-* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/weitkaempfer.pdf)
+* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](gabbay.pdf)
+* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](benzmueller.pdf)
+* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](siebert.pdf)
+* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](weitkaempfer.pdf)
 * 14:45: *break with free discussion in gather.town*
 
 #### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
 
-* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](2021/joos.pdf)
-* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
-* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
-* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
-* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/schiffer.pdf)
+* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](joos.pdf)
+* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](wenzel.pdf)
+* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](sardar.pdf)
+* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](zeume.pdf)
+* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](schiffer.pdf)
 * 16:55: *break with free discussion in gather.town*
 
 #### Business meetings: 17:30 - 18:30