The terms denote technology areas that are part of the CPS technology suite or that are impacted by CPS requirements.
forum
Submitted by Anonymous on Wed, 01/16/2013 - 5:37pm
The Federal Highway Administration (FHWA) issued a Broad Agency announcement (BAA) soliciting proposals that address Exploratory Advanced Research topics. The Broad Agency Announcement (number DTFH61-13-R-00011) is open through March 15, 2013. See http://www.fhwa.dot.gov/research/resources/new_ear_proposal_request.cfm. The announcement includes the following topics
event
Call for Papers: BuildSys 2013
5th ACM Workshop On Embedded Systems For Energy-Efficiency In Buildings
November 14-15, 2013 – Rome, Italy | co-located with ACM SenSys 2013 | http://www.buildsys.org/2013/
We solicit three types of original submissions:
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:23am
4th International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS 2014 will be held in conjunction with SENSORNETS 2014, PHOTOPTICS 2014 and PhyCS 2014.
Registration to PECCS allows free access to the SENSORNETS, PHOTOPTICS and PhyCS conferences (as a non-speaker).
UPCOMING DEADLINES
Regular Paper Submission: July 30, 2013
Regular Paper Authors Notification: October 9, 2013
Regular Pape
forum
Submitted by Anonymous on Tue, 05/07/2013 - 11:08am
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:02am
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE
event
Submitted by Anonymous on Tue, 05/07/2013 - 10:46am
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:37am
FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS
International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013
IMPORTANT DATES
Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:32am
CALL FOR PAPERS
International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS website: http://www.peccs.org/
January 7 - 9, 2014
Lisbon, Portugal
In Cooperation with: EUROMICRO
Sponsored by: INSTICC
INSTICC is Member of: WfMC
Logistics Partner: SCITEVENTS
IMPORTANT DATES:
Regular Paper Submission: July 30, 2013
event
Submitted by Anonymous on Tue, 05/07/2013 - 10:09am
event
Submitted by Anonymous on Fri, 04/19/2013 - 4:39pm
CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.
