Announcement

forum

Visible to the public CfP PLACES 2014

Submitted by Anonymous on Wed, 11/27/2013 - 11:33am

CALL FOR PAPERS
PLACES'14
Programming Language Approaches to Concurrency
and communication-cEntric Software
April 2014, Grenoble, France
Affiliated with ETAPS 2014
http://places14.di.fc.ul.pt/


Theme and Goals

Applications today are built using numerous interacting services. Soon
off-the-shelf CPUs will host thousands of cores, acceleration using
GPUs, DSPs and re-configurable hardware will be common-place, and sensor

event

Visible to the public  CAV 2014
Jul 18, 2014 8:00 am - Jul 22, 2014 6:00 pm CEST

Submitted by Anonymous on Tue, 11/26/2013 - 2:05pm

26th International Conference on Computer Aided Verification (CAV'14)
Part of Vienna Summer of Logic (VSL'14)
18-22 July 2014, Vienna, Austria

CAV 2014 is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

forum

Visible to the public CfP: CAV 2014

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

Visible to the public Open tenure-track faculty positions in the area of embedded systems at the Max Planck Institute for Software Systems

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

Visible to the public PCAST report to the President on "Immediate Opportunities for Strengthening the Nation's Cybersecurity"

Submitted by Anonymous on Tue, 11/26/2013 - 11:20am

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."

forum

Visible to the public 2nd CFP - Workshop on Design Automation for Understanding Hardware Designs

Submitted by Anonymous on Tue, 11/26/2013 - 10:48am

2nd Call for Papers
DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs

March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germany

http://www.informatik.uni-bremen.de/duhde2014/

event

Visible to the public  FESCA @ ETAPS 2014
Apr 12, 2014 8:00 am - 6:00 pm CEST

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

WORKSHOP AIM

forum

Visible to the public CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

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/

WORKSHOP AIM

event

Visible to the public  MECO 2014
Jun 15, 2014 8:00 am - Jun 19, 2014 6:00 pm EDT

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

Visible to the public CFP Mediterranean Conference on Embedded Computing (MECO 2014 including ECYPS 2014]

Submitted by Anonymous on Tue, 11/12/2013 - 11:26am
------------------------------------------------------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------------------------------------------------------
3rd