Lab for Automated Reasoning and Analysis 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]]
 
teaching.txt · Last modified: 2019/06/25 11:26 by vkuncak
 
© EPFL 2018 - Legal notice