LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
teaching [2018/09/19 09:02]
romain
teaching [2019/06/25 11:26] (current)
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:   * Fall 2018:
     * [[funprog18:​top|Functional Programming 2018]]     * [[funprog18:​top|Functional Programming 2018]]