Commit 259d655d authored by Daniel Stan's avatar Daniel Stan
Browse files

schedule update

parent 3f081081
......@@ -52,4 +52,4 @@ The below schedule will be completed with information about the topics.
- 07.01.2020:
- 14.01.2020: at **10:00** Discussions about **Effective Propositional and Finite Almost Uninterpreted** fragments
- 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
- 18.02.2020: at **13:00** Yannick Wagner on the Raft protocol and its Modular decidability in Ivy
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