Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
report2011 [2011/05/08 12:23] silvia.ghilezan |
report2011 [2011/05/08 12: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) ===== | ||