Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
report2011 [2011/05/06 16:34] predrag.janicic |
report2011 [2011/05/06 16:34] predrag.janicic |
||
|---|---|---|---|
| Line 93: | Line 93: | ||
| * 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) | ||