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 [2015/02/18 17:41] vkuncak |
teaching [2018/09/14 14:27] romain |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Teaching ===== | ===== Teaching ===== | ||
| - | LARA has been responsible for the following courses: | + | LARA is (co)responsible for the following courses: |
| - | * Spring 2015: | + | * Fall 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: | ||
| + | * [[sav17:top|Synthesis, Analysis, and Verification 2017]] | ||
| + | * [[parcon17:top|Parallelism and Concurrency 2017]] | ||
| + | * Fall 2016: | ||
| + | * [[cc16:top|Computer Language Processing 2016]] | ||
| + | * [[http://lamp.epfl.ch/teaching/progp|Functional Programming]] | ||
| + | * Spring 2016: | ||
| + | * [[parcon16:top|Parallelism and Concurrency 2016]] | ||
| + | * Fall 2015: | ||
| + | * [[cc15:top|Computer Language Processing 2015]] | ||
| + | * [[http://lamp.epfl.ch/teaching/progp|Functional Programming]] | ||
| + | * Spring 2015: | ||
| * [[sav15:top|Synthesis, Analysis, and Verification 2015]] | * [[sav15:top|Synthesis, Analysis, and Verification 2015]] | ||
| * [[http://lamp.epfl.ch/page-118166-en.html|Reactive and Parallel Programming]] | * [[http://lamp.epfl.ch/page-118166-en.html|Reactive and Parallel Programming]] | ||