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 [2017/09/04 16:44]
vkuncak
teaching [2018/02/20 10:10] (current)
romain
Line 2: Line 2:
  
 LARA is (co)responsible for the following courses: LARA is (co)responsible for the following courses:
 +  * Spring 2018:
 +    * [[parcon18:​top|Parallelism and Concurrency 2018]]
   * Fall 2017:   * Fall 2017:
     * [[cc17:​top|Computer Language Processing 2017]]     * [[cc17:​top|Computer Language Processing 2017]]
 
teaching.txt · Last modified: 2018/02/20 10:10 by romain
 
© EPFL 2018 - Legal notice