Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
teaching [2017/01/20 14:27] 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: | ||
+ | * [[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: | * Spring 2017: | ||
* [[sav17:top|Synthesis, Analysis, and Verification 2017]] | * [[sav17:top|Synthesis, Analysis, and Verification 2017]] |