OLD PAGE: COST Action Proposal: Rich-Model Toolkit: An Infrastructure for Reliable Computer Systems

This page is meant for internal communication of researchers interested in the above COST action. We keep it public to make the communication easier. Please keep the information here to the potentially interested researhers until the proposal is submitted, at which point we can make it public in the form of a vision report.

DOC File for Final MoU Preparation

IC0701

Possible industrial contacts:

IBM Zurich (Jana Kohler's group accepted)
IBM Haifa (Cindy Eisner's group accepted)
Aerielogic (Samuel Dellacherie's group accepted)
EADS (Charles Hymans group accepted)
Microsoft Research Cambridge (Josh Berdine accepted)

ST (Roderick contacted Ubmerto)
Jasper in Sweden (Roderick contacted Koen)
http://www.praxis-his.com/ (Paul contacted)
Polyspace
http://www.clearsy.com/

Impossible industry contacts:

AbsInt (declined)
Onespin in Munich (declined)

OLD: Proposal Writing

Final Submitted Proposal

Evaluation of the Final Proposal

Guidelines and Description of Assesment Procedure (page 23: template for full proposals)

Rules and procedures for implementing COST Actions (page 15: Rules of Procedure for Management Committee)

Preliminary Acceptance letter

Evaluation of the Preliminary Proposal

Proposal Wiki Draft

Preliminary Proposal

Information:

COST web: http://www.cost.esf.org/
Short-Term Scientific Missions for PhD students
Example COST Proposal (downloaded from web)
Open call: http://www.cost.esf.org/index.php?id=opencall
75 proposals short-listed, then 25 of those approved
approved actions: currently running ICT actions

Suggested Experts

In some cases we list two members from the same research group, with the understanding that one member can be reimbursed to attend the meeting.

Josh Berdine, MSR (UK)
Roderick Bloem (Austria)
Maria Paola Bonacina (Italy)
Enric Rodríguez Carbonell
- Robert Nieuwenhuis (Spain)
Samuel Dellacherie, Aerielogic (France)
Cindy Eisner
Silvia Ghilezan (Serbia)
Ian Horrocks (UK)
Charles Hymans, EADS (France)
Paul Jackson (UK)
Predrag Janicic (Serbia)
- Filip Maric
Jana Koehler (Switzerland)
- Hagen Völzer
Viktor Kuncak (Switzerland)
Marius Minea (Romania)
Tobias Nipkow (Germany)
Silvio Ranise (France,Italy)
Alexander Rabinovich (Israel)
Stefan Ratschan (Czech Republic)
Andrey Rybalchenko (Germany)
Mooly Sagiv (Israel)
Natasha Sharygina (Switzerland)
Tayssir Touili
- Ahmed Bouajjani (France)

Key Organizational Facts

How much money?

example: 85K euro/year for the entire group

How long?

4 years

What the money can be used for:

reimbursement to travel to COST technical meetings (which are like semi-private workshops: others can be invited, but only Action members get reimbursed)
short-term scientific exchanges of students