Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
teaching [2017/01/20 14:25] vkuncak |
teaching [2018/09/18 16:23] vkuncak |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| LARA is (co)responsible for the following courses: | LARA is (co)responsible for the following courses: | ||
| + | * Fall 2018: | ||
| + | * [[funprog18:top|Functional Programming 2017]] | ||
| + | * [[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]] | ||
| - | * [[parcon16:top|Parallelism and Concurrency]] | + | * [[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]] | ||