Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
teaching [2019/06/25 11:26] vkuncak |
teaching [2020/06/23 16:19] (current) vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
LARA is (co)responsible for the following courses: | LARA is (co)responsible for the following courses: | ||
+ | * Fall 2020: | ||
+ | * [[cc20:top|Computer Language Processing 2020]] | ||
+ | * [[fv20:top|Formal Verification 2020]] | ||
+ | * Functional Programming 2020 | ||
* Fall 2019: | * Fall 2019: | ||
* [[cc19:top|Computer Language Processing 2019]] | * [[cc19:top|Computer Language Processing 2019]] | ||
* [[fv19:top|Formal Verification 2019]] | * [[fv19:top|Formal Verification 2019]] | ||
- | * Functional Programming 2019 (internal page on courseware.epfl.ch) | + | * Functional Programming 2019 |
* Spring 2019: | * Spring 2019: | ||
* Parallelism and Concurrency 2019 (internal page on courseware.epfl.ch) | * Parallelism and Concurrency 2019 (internal page on courseware.epfl.ch) |