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/18 16:23] 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: | ||
| + | * [[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: | * Fall 2018: | ||
| - | * [[funprog18:top|Functional Programming 2017]] | + | * [[funprog18:top|Functional Programming 2018]] |
| * [[cc18:top|Computer Language Processing 2018]] | * [[cc18:top|Computer Language Processing 2018]] | ||
| * Spring 2018: | * Spring 2018: | ||