Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
report2011 [2011/05/08 12:11] silvia.ghilezan |
report2011 [2011/05/08 12:31] (current) silvia.ghilezan |
||
---|---|---|---|
Line 21: | Line 21: | ||
* 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 (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 64: | 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 96: | Line 98: | ||
* 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) | ||