Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
report2011 [2011/05/08 12:12]
silvia.ghilezan
report2011 [2011/05/08 12:31]
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) =====
Line 96: Line 98:
   * Eran Yahav is a co-organizer PSY 2010 http://​research.ihost.com/​psy2010/​   * Eran Yahav is a co-organizer PSY 2010 http://​research.ihost.com/​psy2010/​
  
-  * Predrag Janicic is an organizer of the Workshops on Formal and Automated Theorem Proving and Applications FATPA 2010 (http://​argo.matf.bg.ac.rs/​events/​2010/​fatpa2010/​fatpa2010.html) and FATPA 2011 (http://​argo.matf.bg.ac.rs/​events/​2011/​fatpa2011/​fatpa2011.html) ​+  * Predrag Janicic is an organizer of the Workshops on Formal and Automated Theorem Proving and Applications FATPA 2010 (http://​argo.matf.bg.ac.rs/​events/​2010/​fatpa2010/​fatpa2010.html) and FATPA 2011 (http://​argo.matf.bg.ac.rs/​events/​2011/​fatpa2011/​fatpa2011.html
 + 
 +  * Silvia Ghilezan is a Conference Chair of he 6th Federated Conference on Rewriting, Deduction and Programming - RDP 2011 (http://​www.rdp2011.uns.ac.rs)