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
teaching [2018/09/14 14:27]
romain
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 2017:+  * 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]]     * [[cc18:​top|Computer Language Processing 2018]]
   * Spring 2018:   * Spring 2018: