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/18 16:23]
vkuncak
teaching [2018/09/19 09:02] (current)
romain
Line 3: Line 3:
 LARA is (co)responsible for the following courses: LARA is (co)responsible for the following courses:
   * Fall 2018:   * Fall 2018:
-    * [[funprog18:​top|Functional Programming ​2017]]+    * [[funprog18:​top|Functional Programming ​2018]]
     * [[cc18:​top|Computer Language Processing 2018]]     * [[cc18:​top|Computer Language Processing 2018]]
   * Spring 2018:   * Spring 2018:
 
teaching.txt · Last modified: 2018/09/19 09:02 by romain
 
© EPFL 2018 - Legal notice