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/02 23:40]
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 54: Line 56:
  
   * StMcDes (Symbolic Testing and Model Checking of Distributed Embedded Systems) - http://​www.tcs.hut.fi/​Research/​Logic/​StMcDes.shtml (Ilkka Niemelä)   * StMcDes (Symbolic Testing and Model Checking of Distributed Embedded Systems) - http://​www.tcs.hut.fi/​Research/​Logic/​StMcDes.shtml (Ilkka Niemelä)
 +
 +  * MCM (Methods for Constructing and Solving Large Constraint Models) - http://​www.tcs.hut.fi/​Research/​Logic/​MCM.shtml (Ilkka Niemelä)
 +
 +  * 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 73: Line 83:
  
   * Peter Schneider-Kamp is a PC-Chair of the 11th International Workshop on Termination (WST 2010) http://​www.imada.sdu.dk/​~petersk/​WST2010/​   * Peter Schneider-Kamp is a PC-Chair of the 11th International Workshop on Termination (WST 2010) http://​www.imada.sdu.dk/​~petersk/​WST2010/​
 +
 +  * Ilkka Niemelä is a PC Chair of JELIA 2010 (12th European Conference on Logics in Artificial Intelligence) http://​jelia2010.tkk.fi/​
 +
 +  * 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)
 +
 +  * Silvia Ghilezan is a Conference Chair of he 6th Federated Conference on Rewriting, Deduction and Programming - RDP 2011 (http://​www.rdp2011.uns.ac.rs)