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
collaboration [2012/08/15 16:00]
vkuncak
collaboration [2012/08/15 16:02] (current)
vkuncak
Line 32: Line 32:
  
 We also host from time to time short visits by researchers in our area, please see [[http://​tresor.epfl.ch/​dokuwiki/​seminars|TRESOR Seminars Page]] for talk abstracts and selected video recordings. We also host from time to time short visits by researchers in our area, please see [[http://​tresor.epfl.ch/​dokuwiki/​seminars|TRESOR Seminars Page]] for talk abstracts and selected video recordings.
 +
 +===== Initiatives =====
 +
 +Rich Model Toolkit (http://​RichModels.epfl.ch)
 +
 +===== Tresor =====
 +
 +[[http://​tresor.epfl.ch|TRESOR]] :  EPFL Thrust in Reliable Software Research
 +
 +===== EcoCloud =====
 +
 +[[http://​www.ecocloud.ch/​|EcoCloud]]:​ a consortium of university researchers to pioneer technologies to make cloud computing scalable, cost-effective and sustainable. ​
 +
  
 
collaboration.txt · Last modified: 2012/08/15 16:02 by vkuncak
 
© EPFL 2018 - Legal notice