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/02/20 10:10]
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 2018:
 +    * [[funprog18:​top|Functional Programming 2018]]
 +    * [[cc18:​top|Computer Language Processing 2018]]
   * Spring 2018:   * Spring 2018:
     * [[parcon18:​top|Parallelism and Concurrency 2018]]     * [[parcon18:​top|Parallelism and Concurrency 2018]]
 
teaching.1519117858.txt.gz · Last modified: 2018/02/20 10:10 by romain
 
© EPFL 2018 - Legal notice