Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
teaching [2018/09/14 14:27] romain |
teaching [2020/06/23 16:19] vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
LARA is (co)responsible for the following courses: | LARA is (co)responsible for the following courses: | ||
- | * Fall 2017: | + | * 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]] | * [[cc18:top|Computer Language Processing 2018]] | ||
* Spring 2018: | * Spring 2018: |