Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

teaching [2018/09/14 14:27]
romain
teaching [2018/09/19 09:02] (current)
romain
Line 2: Line 2:
  
 LARA is (co)responsible for the following courses: LARA is (co)responsible for the following courses:
-  * Fall 2017:+  * Fall 2018: 
 +    * [[funprog18:​top|Functional Programming 2018]]
     * [[cc18:​top|Computer Language Processing 2018]]     * [[cc18:​top|Computer Language Processing 2018]]
   * Spring 2018:   * Spring 2018:
 
teaching.1536928067.txt.gz · Last modified: 2018/09/14 14:27 by romain
 
© EPFL 2018 - Legal notice