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
Next revision Both sides next revision
report2011 [2011/05/02 23:57]
piskac
report2011 [2011/05/08 12:12]
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 58: Line 60:
  
   * MODSAFE (Model-Based Safety Evaluation of Automation Systems) http://​www.tcs.hut.fi/​Research/​Logic/​MODSAFE/​ (Keijo Heljanko)   * MODSAFE (Model-Based Safety Evaluation of Automation Systems) http://​www.tcs.hut.fi/​Research/​Logic/​MODSAFE/​ (Keijo Heljanko)
 +
 +  * ASCENS http://​www.ascens-ist.eu (Barbara Jobstmann)
 +
 +  * Secure Type Systems and Deduction - DFG Project http://​www4.in.tum.de/​proj/​theoremprov/​local_projects/​rs3.html (Tobias Nipkow)
  
 ===== 3) Events (workshops, conferences) ===== ===== 3) Events (workshops, conferences) =====
Line 81: Line 87:
  
   * Tayssir TOUILI is a  Co-chair of CAV 2010 http://​www.liafa.jussieu.fr/​~touili/​cav2010/​   * Tayssir TOUILI is a  Co-chair of CAV 2010 http://​www.liafa.jussieu.fr/​~touili/​cav2010/​
 +
 +  * Barbara Jobstamann is a co-chair for MEMOCODE 2010 http://​www-memocode2010.imag.fr/​
 +
 +  * 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) ​
 +
  
 ===== 4) Planned Joint Projects ===== ===== 4) Planned Joint Projects =====