Designing and managing complex engineering projects over their life cycles.
forum
Submitted by Anonymous on Tue, 11/26/2013 - 1:59pm
First Call for Papers
26th International Conference on Computer Aided Verification (CAV'14)
Part of Vienna Summer of Logic (VSL'14)
18-22 July 2014, Vienna, Austria
http://www.cavconference.org
New Rules
---------
We will continue to have short and long papers, but
short papers are not restricted to be tool papers anymore.
Further, we particularly encourage to submit high
quality tool papers and empirical evaluations as long papers.
forum
Submitted by Anonymous on Tue, 11/26/2013 - 1:56pm
======= Call for Applications ========
Applications are invited for tenure-track and tenured faculty positions in all areas related to the study, design, and engineering of software systems. These areas include, but are not limited to, security and privacy, embedded and mobile systems, social computing, large-scale data management and machine learning, programming languages and systems, software verification and analysis, parallel and distributed systems, storage systems, and networking.
file
On November 22, 2013, PCAST ( PRESIDENT'S COUNCIL OF ADVISORS ON SCIENCE AND TECHNOLOGY) released a report to the President on "Immediate Opportunities for Strengthening the Nation's Cybersecurity."
news
Submitted by Anonymous on Tue, 11/26/2013 - 11:15am
On November 22, 2013, PCAST ( PRESIDENT'S COUNCIL OF ADVISORS ON SCIENCE AND TECHNOLOGY) released a report to the President on "Immediate Opportunities for Strengthening the Nation's Cybersecurity."
event
Submitted by Anonymous on Tue, 11/26/2013 - 10:38am
FESCA @ ETAPS 2014
11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France
forum
Submitted by Anonymous on Tue, 11/26/2013 - 10:30am
Call for Papers
- FESCA 2014 -
11th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS
April 12th, 2014, Grenoble, France
http://fesca.ipd.kit.edu/fesca2014/
event
Submitted by Anonymous on Wed, 11/13/2013 - 11:03am
CSER is the leading conference and platform for systems engineering that both pushes the boundaries of current research and identifies and responds to new challenges, fostering new research ideas.
event
Submitted by Anonymous on Tue, 11/12/2013 - 11:30am
MECO-2014 Conference
VENUE: Hotel Slovenska Plaza, Budva, Montenegro.
DATES: 15-19, June 2014
ABOUT THE EVENT
The 3rd Mediterranean Conference on Embedded Computing (MECO 2014) is a continuation of very successful MECO events (MECO 2012, MECO 2013). It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.
forum
Submitted by Anonymous on Tue, 11/12/2013 - 11:26am
------------------------------------------------------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------------------------------------------------------
3rd
event
Submitted by Anonymous on Tue, 11/12/2013 - 11:21am
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
The increasing complexity, distribution, and dynamism of many software-intensive systems, such as cloud-based, cyber-physical and mobile systems, are imposing self-managing capabilities as a key requirement. These systems must be able to adapt themselves at run-time to cope with the uncertainty associated with changes in the environment in which they operate, variability of resources, new user needs, intrusions, and faults.
