next meetings

README.md

@@ -51,5 +51,5 @@ The below schedule will be completed with information about the topics.
 - 17.12.2019: discussions on "**Modularity for Decidability of Deductive Verification with Applications to Distributed Systems**"
 - 07.01.2020:
 - 14.01.2020: at **10:00** Discussions about **Effective Propositional and Finite Almost Uninterpreted** fragments
-- 21.01.2020:
-
+- 29.01.2020: join seminar (to reconfirm)
+- 11.02.2020: Yannick Wagner on the Raft protocol and its Modular decidability in Ivy