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
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
Impossible industry contacts:
- AbsInt (declined)
- Onespin in Munich (declined)
OLD: Proposal Writing
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
Information:
- COST web: http://www.cost.esf.org/
- Short-Term Scientific Missions for PhD students
- Example COST Proposal (downloaded from web)
- 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)
-
- Robert Nieuwenhuis (Spain)
- Samuel Dellacherie, Aerielogic (France)
- Silvia Ghilezan (Serbia)
- Ian Horrocks (UK)
- Charles Hymans, EADS (France)
- Paul Jackson (UK)
- Predrag Janicic (Serbia)
- Jana Koehler (Switzerland)
- 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)
-
- 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
Links to Some Relevant Projects by Action Members
Ph.D. programme Puma
Tobias Nipkow
Ian Horrocks – EPSRC funded projects on DL reasoning and infrastructure:
- EP/F065841/1 HermiT: Reasoning with Large Ontologies (http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/F065841/1)
- EP/C543319/2 LOGO: Logics for Ontologies (http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/C543319/2)
- EP/E03781X/1 Reasoning Infrastructure for Ontologies and Instances (http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E03781X/1)
- EP/C537211/2 REOL: Reasoning for Expressive Ontology Languages (http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/C537211/2)
- system : Hermit Description Logic Reasoner http://hermit-reasoner.com/
Stefan Ratschan
- AVACS in Germany
Existing Actions
IC 701
Viktor Kuncak is a member of COST Action IC0701
- see participants of this action