Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
report2011 [2011/05/08 10:23] – silvia.ghilezanreport2011 [2011/05/08 10:31] (current) – silvia.ghilezan
Line 64: Line 64:
  
   * Secure Type Systems and Deduction - DFG Project http://www4.in.tum.de/proj/theoremprov/local_projects/rs3.html (Tobias Nipkow)   * Secure Type Systems and Deduction - DFG Project http://www4.in.tum.de/proj/theoremprov/local_projects/rs3.html (Tobias Nipkow)
 +
 +  * SEMACODE (Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité) INRIA Associate Team Project (Hugo Herbelin, Silvia Ghilezan)
  
 ===== 3) Events (workshops, conferences) ===== ===== 3) Events (workshops, conferences) =====