Taxonomic Search: Call for Proposal

6 results

Results

forum

Final call for participation: USER 2013 workshop proposal submissions accepted until April 24!

 

ICSE 2013 Workshop: 2nd Workshop on User evaluations for Software Engineering Researchers

Date: Sunday May 26, 2013

San Francisco, CA, USA

Full Details: https://sites.google.com/site/user2013workshop/

Contact: user2013@easychair.org

 

FINAL PROPOSAL DEADLINE: April 24, 2013.

forum

ARPA-E Open Funding Opportunity in Energy R&D

To address the challenges imposed by the rapidly evolving global energy market, ARPA-E seeks to support transformational research in all areas of energy R&D, including resource identification, extraction, transportation and use, and energy ge

forum

CPSWeek 2013: Call for Workshops and Tutorials

 

Call for Workshops and Tutorials

 

CPSWeek 2013

 

Philadelphia, USA, April 8-11, 2013

http://www.cpsweek.org/

forum

High-Assurance Cyber Military Systems (HACMS)

Synopsis:
The goal of the High-Assurance Cyber Military Systems (HACMS) program is to create technology for the construction of high-assurance, cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. HACMS will adopt a clean-slate, formal methods–based approach that enables semi-automated code synthesis from executable, formal specifications.

file

EU ICT Program 2011-2012

Full Call for Proposal for the EU ICT Program in 2011 and 2012. Pages 124-126 provide overview of objectives with budget figures and deadlines. CPS related areas are in the following chapters: 1.3; 1.6; 2.1; 3.3; 3.4; 6.1; 6.8; 7.1; 7.4; 9.7; 9.10