next two meetings

README.md

@@ -47,5 +47,6 @@ The below schedule will be completed with information about the topics.
 
 - 05.11.2019: **kickoff** meeting: [Slides](https://arg-git.informatik.uni-kl.de/pub/ws19sem/blob/master/kickoff.pdf)
 - 19.11.2019: [Burcu Özkan](https://www.mpi-sws.org/people/burcu/) **Trace Aware Random Testing of Distributed Systems**
-- 03.11.2019
-- …
+- 03.11.2019: discussions
+- 17.11.2019: discussions on "**Modularity for Decidability of Deductive Verification with Applications to Distributed Systems**"
+- 06.01.2020: