|
About the LS 8: Theoretische Informatik category
|
|
0
|
124
|
20. Dezember 2022
|
|
Theorievertiefung im WiSe 2022/23
|
|
1
|
910
|
13. Oktober 2022
|
|
ThProg-Tutoren
|
|
1
|
2240
|
19. Januar 2022
|
|
Theorievertiefung WiSe 2021/22
|
|
1
|
1805
|
22. September 2021
|
|
Theorievertiefung SoSe 2021
|
|
1
|
2576
|
7. April 2021
|
|
Theorievertiefung WiSe 2020/21
|
|
2
|
2973
|
31. Oktober 2020
|
|
Theorievertiefung SoSe 2020
|
|
6
|
3950
|
21. April 2020
|
|
Reading Course Topos Theory in der Mathematik
|
|
4
|
2396
|
9. März 2020
|
|
Theorievertiefung im SoSe 2019
|
|
1
|
5118
|
5. April 2019
|
|
Kategorienseminar: Topics in Category Theory
|
|
1
|
2992
|
30. Januar 2019
|
|
Kategorientheroeiseminar in der Mathematik
|
|
1
|
5237
|
6. April 2018
|
|
Ontologien im Semantic Web (OntoSWeb) - Feedback bitte
|
|
3
|
4578
|
5. Februar 2018
|
|
Seminar "Automaten über unendlichen Wörtern"
|
|
1
|
3714
|
19. Oktober 2017
|
|
Dringend ThProg-Tutoren gesucht
|
|
1
|
5173
|
25. Januar 2017
|
|
GLoIn-Tutoren gesucht
|
|
1
|
5127
|
9. Juni 2016
|
|
Vertiefungsveranstaltungen Theorie im SoSe 2016
|
|
1
|
4737
|
15. Februar 2016
|
|
Immer noch Tutor gesucht für ThProg
|
|
1
|
4195
|
15. Februar 2016
|
|
Tutor für ThProg gesucht
|
|
1
|
4152
|
11. Februar 2016
|
|
Kryptologie und Protokollverifikation
|
|
13
|
7243
|
28. August 2015
|
|
Ontos Web: r.e. von Gültigkeit und Erfülbarkeit in FOL
|
|
6
|
5444
|
23. Oktober 2014
|
|
Praktikum im WS14/15
|
|
3
|
4856
|
9. Juli 2014
|
|
Tutoren gesucht
|
|
1
|
4801
|
3. Juli 2014
|
|
Terminfindung Termersetzungsysteme
|
|
1
|
4936
|
9. April 2014
|
|
Terminfindung KommPar
|
|
1
|
4880
|
8. April 2014
|
|
Theorieveranstaltungen im SoSe 2014
|
|
1
|
4520
|
25. Februar 2014
|
|
Tutoren gesucht
|
|
1
|
4562
|
15. Januar 2014
|
|
Formale Methoden, Mitschrift von letzter Woche?
|
|
1
|
4778
|
2. November 2013
|
|
Mini-VL "Konstruktive Logik und Progrmmextraktion"
|
|
2
|
4675
|
16. September 2013
|
|
Theorieveranstaltungen im WS 2013/14
|
|
1
|
4843
|
16. September 2013
|
|
Praktikum "Ontologien und klinische Leitlinien" im WiSe 2013/14
|
|
5
|
5805
|
16. September 2013
|