Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
report2011 [2011/05/03 00:19] piskac |
report2011 [2011/05/06 16:34] predrag.janicic |
||
---|---|---|---|
Line 89: | Line 89: | ||
* Rupak Majumdar is a Program Co-Chair, TACAS 2010 (part of ETAPS 2010) http://tacas10.in.tum.de/ | * Rupak Majumdar is a Program Co-Chair, TACAS 2010 (part of ETAPS 2010) http://tacas10.in.tum.de/ | ||
- | * | + | |
- | * | + | * Eran Yahav is a co-organizer LFX 2010 http://research.ihost.com/lfx2010/ |
+ | |||
+ | * 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) | ||