|
About the LS 8: Theoretische Informatik category
|
|
0
|
44
|
December 20, 2022
|
|
Theorievertiefung im WiSe 2022/23
|
|
1
|
777
|
October 13, 2022
|
|
ThProg-Tutoren
|
|
1
|
2136
|
January 19, 2022
|
|
Theorievertiefung WiSe 2021/22
|
|
1
|
1723
|
September 22, 2021
|
|
Theorievertiefung SoSe 2021
|
|
1
|
2526
|
April 7, 2021
|
|
Theorievertiefung WiSe 2020/21
|
|
2
|
2892
|
October 31, 2020
|
|
Theorievertiefung SoSe 2020
|
|
6
|
3866
|
April 21, 2020
|
|
Reading Course Topos Theory in der Mathematik
|
|
4
|
2279
|
March 9, 2020
|
|
Theorievertiefung im SoSe 2019
|
|
1
|
5032
|
April 5, 2019
|
|
Kategorienseminar: Topics in Category Theory
|
|
1
|
2902
|
January 30, 2019
|
|
Kategorientheroeiseminar in der Mathematik
|
|
1
|
5164
|
April 6, 2018
|
|
Ontologien im Semantic Web (OntoSWeb) - Feedback bitte
|
|
3
|
4439
|
February 5, 2018
|
|
Seminar "Automaten über unendlichen Wörtern"
|
|
1
|
3642
|
October 19, 2017
|
|
Dringend ThProg-Tutoren gesucht
|
|
1
|
5121
|
January 25, 2017
|
|
GLoIn-Tutoren gesucht
|
|
1
|
5060
|
June 9, 2016
|
|
Vertiefungsveranstaltungen Theorie im SoSe 2016
|
|
1
|
4631
|
February 15, 2016
|
|
Immer noch Tutor gesucht für ThProg
|
|
1
|
4139
|
February 15, 2016
|
|
Tutor für ThProg gesucht
|
|
1
|
4093
|
February 11, 2016
|
|
Kryptologie und Protokollverifikation
|
|
13
|
7172
|
August 28, 2015
|
|
Ontos Web: r.e. von Gültigkeit und Erfülbarkeit in FOL
|
|
6
|
5360
|
October 23, 2014
|
|
Praktikum im WS14/15
|
|
3
|
4785
|
July 9, 2014
|
|
Tutoren gesucht
|
|
1
|
4759
|
July 3, 2014
|
|
Terminfindung Termersetzungsysteme
|
|
1
|
4875
|
April 9, 2014
|
|
Terminfindung KommPar
|
|
1
|
4817
|
April 8, 2014
|
|
Theorieveranstaltungen im SoSe 2014
|
|
1
|
4436
|
February 25, 2014
|
|
Tutoren gesucht
|
|
1
|
4516
|
January 15, 2014
|
|
Formale Methoden, Mitschrift von letzter Woche?
|
|
1
|
4717
|
November 2, 2013
|
|
Mini-VL "Konstruktive Logik und Progrmmextraktion"
|
|
2
|
4608
|
September 16, 2013
|
|
Theorieveranstaltungen im WS 2013/14
|
|
1
|
4774
|
September 16, 2013
|
|
Praktikum "Ontologien und klinische Leitlinien" im WiSe 2013/14
|
|
5
|
5734
|
September 16, 2013
|