Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
teaching [2016/09/13 10:58] 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: | ||
| + | * [[sav17:top|Synthesis, Analysis, and Verification 2017]] | ||
| + | * [[parcon17:top|Parallelism and Concurrency 2017]] | ||
| * Fall 2016: | * Fall 2016: | ||
| * [[cc16:top|Computer Language Processing 2016]] | * [[cc16:top|Computer Language Processing 2016]] | ||
| * [[http://lamp.epfl.ch/teaching/progp|Functional Programming]] | * [[http://lamp.epfl.ch/teaching/progp|Functional Programming]] | ||
| * Spring 2016: | * Spring 2016: | ||
| - | * [[parcon16:top|Parallelism and Concurrency]] | + | * [[parcon16:top|Parallelism and Concurrency 2016]] |
| * Fall 2015: | * Fall 2015: | ||
| * [[cc15:top|Computer Language Processing 2015]] | * [[cc15:top|Computer Language Processing 2015]] | ||