Differences
This shows you the differences between two versions of the page.
| 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/06 16:34] predrag.janicic |
||
|---|---|---|---|
| Line 58: | Line 58: | ||
| * 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 85: | ||
| * 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 ===== | ||