Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
report2011 [2011/05/06 14:34] – predrag.janicicreport2011 [2011/05/08 10:31] (current) – 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 62: 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 93: Line 97:
  
   * 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)