Commit 64df9cf4 authored by Michael Kohlhase's avatar Michael Kohlhase

two more

parent b85cb2a8
......@@ -33,8 +33,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 23. 10. 2018 | Michael Kohlhase| How to read scientific articles|
| 30. 10. 2018 | - | no seminar |
| 6. 11. 2018 | Rabe/Kohlhase | How to give a talk|
| 13. 11. 2018 | | |
| 20. 11. 2018 | | |
| 13. 11. 2018 | Max Rapp |Formalising the Law in Theory Graphs |
| 20. 11. 2018 |Florian Rabe | Intermediate Language for Formalization|
| 27. 11. 2018 | | |
| 4. 12. 2018 | | |
| 11. 12. 2018 | | |
......
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