Commit 5d470b9f authored by Daniel Stan's avatar Daniel Stan
Browse files

next meeting

parent f36ddf37
......@@ -50,4 +50,6 @@ The below schedule will be completed with information about the topics.
- 03.12.2019: discussions
- 17.12.2019: discussions on "**Modularity for Decidability of Deductive Verification with Applications to Distributed Systems**"
- 07.01.2020:
- 14.01.2020: at **x:y** Discussions about **Effective Propositional and Finite Almost Uninterpreted** fragments
- 14.01.2020: at **10:00** Discussions about **Effective Propositional and Finite Almost Uninterpreted** fragments
- 21.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