Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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