@@ -48,7 +48,7 @@ The program consisted of 3 sessions of zoom talks each followed with a break in
* 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)](zeume.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)
* 16:55: *break with free discussion in gather.town*
