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:30]
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 47: Line 49:
   * Project Coconut //(the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation)//​ http://​www.iaik.tugraz.at/​content/​research/​design_verification/​coconut/​   * Project Coconut //(the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation)//​ http://​www.iaik.tugraz.at/​content/​research/​design_verification/​coconut/​
  
-  * Tools and Methods for Scalable Software Verification ​(ToMeSo) - http://​www.itu.dk/​research/​pls/​wiki/​index.php/​Tools_and_Methods_for_Scalable_Software_Verification_(TOMESO) (Lars Birkdedal)+  * ToMeSo (Tools and Methods for Scalable Software Verification) - http://​www.itu.dk/​research/​pls/​wiki/​index.php/​Tools_and_Methods_for_Scalable_Software_Verification_(TOMESO) (Lars Birkdedal)
  
-  * Modular Reasoning about Software ​(MOREASO)  - http://​www.itu.dk/​people/​birkedal/​moreaso ​  (Lars Birkdedal)+  * MOREASO (Modular Reasoning about Software) ​ - http://​www.itu.dk/​people/​birkedal/​moreaso ​  (Lars Birkdedal)
  
 +  * LIME2 (LightweIght formal Methods for distributed component-based Embedded systems) - http://​www.tcs.hut.fi/​Research/​Logic/​LIME2/​ (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 68: Line 81:
  
   * Lars Birkedal is Co-Organizer for the Dagstuhl Seminar on Modelling, Controlling,​ and Reasoning about State. http://​www.dagstuhl.de/​en/​program/​calendar/​semhp/?​semnr=10351   * Lars Birkedal is Co-Organizer for the Dagstuhl Seminar on Modelling, Controlling,​ and Reasoning about State. http://​www.dagstuhl.de/​en/​program/​calendar/​semhp/?​semnr=10351
 +
 +  * 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)
 +
  
 ===== 4) Planned Joint Projects ===== ===== 4) Planned Joint Projects =====