Commit ce8aff1d authored by Florian Rabe's avatar Florian Rabe
Browse files

Update index.md

parent 5c5a17e4
Pipeline #4329 passed with stage
in 1 minute and 23 seconds
......@@ -23,7 +23,7 @@ The **tentative** program is as follows:
* Session 1: 10:00 - 11:00 (chair: Claudia Schon)
* 10:00: Martin Suda, **Invited talk** [slides (if any)](2022/suda.pdf)
* Break 1: 11:00 - 11:30: free discussion in zoom
* Session 2: 11:30 - 12:00 (chair: Florian Rabe)
* Session 2: 11:30 - 13:00 (chair: Florian Rabe)
* 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas [slides (if any)](2022/woerz.pdf)
* 12:00: Martin Lange, The Calculus of Influence - Formal Modelling of Biological Experiments [slides (if any)](2022/lange.pdf)
* 12:30: Florian Bruse, A Decidable Expressive Modal Logic, [slides (if any)](2022/bruse.pdf)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment