Differences

This shows you the differences between two versions of the page.

--- teaching [2015/02/18 17:41]
vkuncak
+++ teaching [2020/06/23 16:19] (current)
vkuncak
@@ Line 1: / Line 1: @@
 ===== Teaching =====
-LARA has been responsible for the following courses:
+LARA is (co)responsible for the following courses:
-  * Spring 2015:
+  * Fall 2020:
+    * [[cc20:top|Computer Language Processing 2020]]
+    * [[fv20:top|Formal Verification 2020]]
+    * Functional Programming 2020
+  * Fall 2019:
+    * [[cc19:top|Computer Language Processing 2019]]
+    * [[fv19:top|Formal Verification 2019]]
+    * Functional Programming 2019
+  * Spring 2019:
+    * Parallelism and Concurrency 2019 (internal page on courseware.epfl.ch)
+  * Fall 2018:
+    * [[funprog18:top|Functional Programming 2018]]
+    * [[cc18:top|Computer Language Processing 2018]]
+  * Spring 2018:
+    * [[parcon18:top|Parallelism and Concurrency 2018]]
+  * Fall 2017:
+    * [[cc17:top|Computer Language Processing 2017]]
+    * [[funprog17:top|Functional Programming 2017]]
+  * Spring 2017:
+    * [[sav17:top|Synthesis, Analysis, and Verification 2017]]
+    * [[parcon17:top|Parallelism and Concurrency 2017]]
+  * Fall 2016:
+    * [[cc16:top|Computer Language Processing 2016]]
+    * [[http://lamp.epfl.ch/teaching/progp|Functional Programming]]
+  * Spring 2016:
+    * [[parcon16:top|Parallelism and Concurrency 2016]]
+  * Fall 2015:
+    * [[cc15:top|Computer Language Processing 2015]]
+    * [[http://lamp.epfl.ch/teaching/progp|Functional Programming]]
+  * Spring 2015:
     * [[sav15:top|Synthesis, Analysis, and Verification 2015]]
     * [[http://lamp.epfl.ch/page-118166-en.html|Reactive and Parallel Programming]]