Differences
This shows you the differences between two versions of the page.
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 ===== |