LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
teaching [2017/01/20 14:25]
vkuncak
teaching [2019/06/25 11:26]
vkuncak
Line 2: Line 2:
  
 LARA is (co)responsible for the following courses: LARA is (co)responsible for the following courses:
 +  * Fall 2019:
 +    * [[cc19:​top|Computer Language Processing 2019]]
 +    * [[fv19:​top|Formal Verification 2019]]
 +    * Functional Programming 2019 (internal page on courseware.epfl.ch)
 +  * 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]]
-    * [[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]]