Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
report2011 [2011/05/08 12:12]
silvia.ghilezan
report2011 [2011/05/08 12:23]
silvia.ghilezan
Line 96: Line 96:
   * 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)