Differences
This shows you the differences between two versions of the page.
| - | Both sides previous revision Previous revision Next revision |
| - | report2011 [2011/05/02 23:55] piskac |
|---|---|
| + | Previous revision |
| + | report2011 [2011/05/08 12:31] (current) silvia.ghilezan |
| @@ Line -20,4 +20,6 @@ | |
| * 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,4 +60,10 @@ | |
| * 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) | |
| * SEMACODE (Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité) INRIA Associate Team Project (Hugo Herbelin, Silvia Ghilezan) | |
| ===== 3) Events (workshops, conferences) ===== | |
| @@ Line -79,4 +87,19 @@ | |
| * 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 ===== | |