@@ -51,5 +51,5 @@ The below schedule will be completed with information about the topics.
...
@@ -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**"
- 17.12.2019: discussions on "**Modularity for Decidability of Deductive Verification with Applications to Distributed Systems**"
- 07.01.2020:
- 07.01.2020:
- 14.01.2020: at **10:00** Discussions about **Effective Propositional and Finite Almost Uninterpreted** fragments
- 14.01.2020: at **10:00** Discussions about **Effective Propositional and Finite Almost Uninterpreted** fragments
-29.01.2020: join seminar (to reconfirm)
-05.02.2020: at **14:15**[Maya Retno](https://www.informatik.tu-darmstadt.de/se/gruppenmitglieder/groupmembers_detailseite_88960.de.jsp)**A Model-Driven Toolkit for Software Product Line Engineering**
- 11.02.2020: Yannick Wagner on the Raft protocol and its Modular decidability in Ivy
- 11.02.2020: Yannick Wagner on the Raft protocol and its Modular decidability in Ivy
