Skip to content
Snippets Groups Projects
Commit 4f82231a authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

changed time

parent 56889185
No related branches found
No related tags found
No related merge requests found
Pipeline #1765 passed
......@@ -25,7 +25,7 @@ Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der
[KWARC Gruppe](http://kwarc.info) wieder. Daher ist dieses Seminar sehr gut geeignet um in
die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
*Seminartermin/Ort*: Mittwochs 14:45-16:00, Raum 00.131-128, Cauerstraße 11
*Seminartermin/Ort*: Mittwochs 16:15-17:45, Raum 00.131-128, Cauerstraße 11
|Datum|Sprecher|Thema|Notiz|
|-----|-------|-----|----|
......@@ -66,8 +66,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
| Isabelle Type Classes and Locales| | logik-lastig| |
| LF + Interection Types | | fortgeschritten| |
| McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
| Functional programming with bananas, lenses, envelopes and barbed wire|
[[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
| Functional programming with bananas, lenses, envelopes and barbed wire| [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
|"Formal Semantics of Programming Languages" (Mosses)| ||
| Overview of the ACL2 language and system | | |
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment