Skip to content

GitLab

Commit 72ab32f8 authored by Daniel Stan's avatar Daniel Stan
Browse files

errata again

parent abac46db
Show whitespace changes
Inline Side-by-side
README.md
View file @ 72ab32f8
...@@ -49,4 +49,4 @@ The below schedule will be completed with information about the topics. ...@@ -49,4 +49,4 @@ The below schedule will be completed with information about the topics.
- 19.11.2019: [Burcu Özkan](https://www.mpi-sws.org/people/burcu/) **Trace Aware Random Testing of Distributed Systems** - 19.11.2019: [Burcu Özkan](https://www.mpi-sws.org/people/burcu/) **Trace Aware Random Testing of Distributed Systems**
- 03.12.2019: discussions - 03.12.2019: discussions
- 17.12.2019: discussions on "**Modularity for Decidability of Deductive Verification with Applications to Distributed Systems**" - 17.12.2019: discussions on "**Modularity for Decidability of Deductive Verification with Applications to Distributed Systems**"
- 06.01.2020: - 07.01.2020:
Markdown is supported
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