Commit 32e9c24e authored by Michael Kohlhase's avatar Michael Kohlhase

Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

parents 039cc593 342d5f13
Pipeline #1959 passed with stage
in 2 minutes and 22 seconds
......@@ -28,22 +28,22 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
*Seminartermin/Ort*: Mittwochs 16:15-17:45, Raum 00.131-128, Cauerstraße 11
|Datum|Sprecher|Thema|Notiz|
|-----|-------|-----|----|
| 16. 10. 2019| Rabe | Admin, Themenvergabe |
| 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 | Max Rapp |Formalising the Law in Theory Graphs |
| 20. 11. 2018 | Florian Rabe | Intermediate Language for Formalization|
| 27. 11. 2018 | Florian Rabe | Category of Theories, Diagram Operators |
| 4. 12. 2018 | Katja Berčič | Research data in mathematics: taking the high road |
| 11. 12. 2018 | --- | Fällt Aus|
| 18. 12. 2018 | Christoph Alt | Formula Search for the nLab|
| 8. 1. 2019 | | |
| 15. 1. 2019 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects|
| 22. 1. 2019 | | |
| 29. 1. 2019 | Lorenz Oberhauser| Curry Howard Isomorphism|
| 5. 2. 2019 | Max Rapp| ALMANAC and on |
|-----|--------|-----|----|
| 16. 10. 2019 | Rabe | Admin, Themenvergabe |
| 23. 10. 2019 | Michael Kohlhase| How to read scientific articles|
| 30. 10. 2019 | - | no seminar |
| 6. 11. 2019 | Rabe/Kohlhase | How to give a talk|
| 13. 11. 2019 | Max Rapp |Formalising the Law in Theory Graphs |
| 20. 11. 2019 | Florian Rabe | Intermediate Language for Formalization|
| 27. 11. 2019 | Florian Rabe | Category of Theories, Diagram Operators |
| 4. 12. 2019 | Katja Berčič | Research data in mathematics: taking the high road |
| 11. 12. 2019 | --- | no seminar|
| 18. 12. 2019 | Christoph Alt | Formula Search for the nLab|
| 8. 1. 2020 | | |
| 15. 1. 2020 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects|
| 22. 1. 2020 | | |
| 29. 1. 2020 | Lorenz Oberhauser| Curry Howard Isomorphism|
| 5. 2. 2020 | Max Rapp| ALMANAC and on |
##### Vortragsthemen
......
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