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
Last revision Both sides next revision
report2011 [2011/05/03 00:19]
piskac
report2011 [2011/05/08 12:23]
silvia.ghilezan
Line 20: Line 20:
  
   * Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, and Tomas Vojnar. Programs with Lists are Counter Automata. Formal Methods in System Design, 38(2):​158--192,​ Springer-Verlag,​ 2011.   * Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, and Tomas Vojnar. Programs with Lists are Counter Automata. Formal Methods in System Design, 38(2):​158--192,​ Springer-Verlag,​ 2011.
 +
 +  * Mariangiola Dezani-Ciancaglini,​ Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic: Types for role based access control of dynamic web data.  WFLP'​10 invited talk, Lecture Notes in Computer Science 6559: 1-29, Springer-Verlag (2011).
  
  
Line 89: Line 91:
  
   * 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) 
 + 
 +  * Silvia Ghilezan is a Conference Chair of he 6th Federated Conference on Rewriting, Deduction and Programming - RDP 2011 (http://​www.rdp2011.uns.ac.rs)