Skip to content
Snippets Groups Projects
Commit 6dfe4627 authored by Sergey Goncharov's avatar Sergey Goncharov
Browse files

Update index.md

parent f33f02a0
Branches
No related tags found
No related merge requests found
Pipeline #3160 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
events/GI2020/index.md
+ 1
− 1
View file @ 6dfe4627
...@@ -20,7 +20,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg ...@@ -20,7 +20,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
#### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov) #### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
* 10:00: Ana Sokolova, **Invited talk**: Tracing Probability and Nondeterminism * 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism
* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL * 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL
* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus * 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus
* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge * 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment