From 77dcff631d548f3d1e49e20db1318b7538255488 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Mon, 9 Apr 2018 06:49:22 +0200
Subject: [PATCH] Florian's topics

---
 courses/wuv.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/courses/wuv.md b/courses/wuv.md
index c696c97..e1afcb6 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -55,6 +55,10 @@ 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)
+|"Formal Semantics of Programming Languages" (Mosses)| ||
+| Overview of the ACL2 language and system | | |
 
 Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)
 statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
-- 
GitLab