Skip to content
Snippets Groups Projects
Commit ad273b18 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent 078d2624
Branches
No related tags found
No related merge requests found
Pipeline #3679 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 34 additions and 14 deletions
courses/swuv.md
+ 34
− 14
View file @ ad273b18
...@@ -37,20 +37,21 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). ...@@ -37,20 +37,21 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
|Datum|Sprecher|Thema|Notiz| |Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----| |-----|--------|-----|----|
| 14. 04. 2021 | Rabe | Admin, Themenvergabe | | 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
| 21. 04. 2021 14:45-16:15 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation | 28. 10. 2021 | Schmidt | Modular Formalization of Set Theory | MSc thesis presentation (tentative)
| 29. 04. 2021 | cancelled | | | 04. 11. 2021 | Kohlhase, Rabe | How to read a paper? |
| 06. 05. 2021 |Kohlhase, Rabe | How to give a talk?| | 11. 11. 2021 | Kohlhase, Rabe | How to give a scientific talk? |
| 13. 05. 2021 | holiday | | | 18. 11. 2021 | | |
| 20. 05. 2021 |Kohlhase, Rabe | How to read a paper?| | 25. 11. 2021 | | |
| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM | 02. 12. 2021 | | |
| 03. 06. 2021 | holiday | | | 09. 12. 2021 | | |
| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem | 16. 12. 2021 | | |
| 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group | 23. 12. 2021 | entfällt | |
| 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus | | 13. 01. 2021 | | |
| 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP | 20. 01. 2021 | | |
| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk | 27. 01. 2021 | | |
| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk | 03. 02. 2021 | | |
| 10. 02. 2021 | | |
##### Vortragsthemen ##### Vortragsthemen
...@@ -77,6 +78,25 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b ...@@ -77,6 +78,25 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren! abonnieren!
##### For the record: Seminarplan SS21
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 14. 04. 2021 | Rabe | Admin, Themenvergabe |
| 21. 04. 2021 14:45-16:15 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation
| 29. 04. 2021 | cancelled | |
| 06. 05. 2021 |Kohlhase, Rabe | How to give a talk?|
| 13. 05. 2021 | holiday | |
| 20. 05. 2021 |Kohlhase, Rabe | How to read a paper?|
| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM
| 03. 06. 2021 | holiday | |
| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem
| 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group
| 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus |
| 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP
| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk
| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk
##### For the record: Seminarplan WS2021 ##### For the record: Seminarplan WS2021
|Datum|Sprecher|Thema|Notiz| |Datum|Sprecher|Thema|Notiz|
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment