Welcome to ACSAC 2011! The 27th Annual Computer Security Applications Conference will be held in Orlando, Florida on December 5-9, 2011. ACSAC brings together hundreds of security professionals from academia, government and industry with an interest in…

The Network and Distributed System Security Symposium 2012 was held February 5-8, 2012, at Hilton San Diego Resort & Spa in San Diego, California.  A copy of the symposium program agenda can be found here: https://www.ndss-…

 Reminder - Registration Open 6th MODPROD Workshop on Model-Based Product Development, Linköping University, Sweden,  February 7-8, 20124th OpenModelica Workshop, Linköping University, Sweden,  February 6, 2012Organizers: Peter…

The FY 2012 updated  NSF Cyber-Physical Systems program solicitation (NSF 12-520) is now posted.  Details can be found at  the official NSF web page, http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503286&org=CISE.

The 2nd International Conference on Pervasive and Embedded Computing and Communication Systems Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solutions and communication services all the time…

The 2012 Review Meeting will be held February 27th, 2012 at ISIS.

 CALL FOR PARTICIPATIONACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)April 17-19, 2012Beijing, China(http://www.iccps.org/)  We have assembled an exciting program for ICCPS 2012, the flagship conference on the emerging…

The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction…

The National Institute of Standards and Technology (NIST), in coordination with other federal agencies, sponsored a workshop on March 13-14, 2012 in Rosemont, Illinois, to explore the technology and measurement challenges impeding innovation…

The National Institute of Standards and Technology (NIST) is sponsoring a workshop on March 13-14, 2012 in Chicago, Illinois to identify crosscutting technical barriers and knowledge gaps limiting innovation and U.S. competitiveness in cyber-physical…

The Theory of Cryptography deals with the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. Research in this area includes: The study of known paradigms (resp. approaches and…

FDA/CDRH/OSEL (Office of Science and Engineering Laboratories)The purpose of the meeting is to bring academics working on assurance case research and regulators considering assurance case use together to brainstorm ideas on what a generic (safety)…

 CALL FOR POSTERS2012 Performance Metrics for Intelligent Systems (PerMIS’12) WorkshopMarch 20th-22nd, 2012 atthe Marriott Inn & Conference Center, University of Maryland University College…

The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within…

15th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing This is the 15th IEEE Computer Society symposium dealing with the rapidly expanding field of object/component/service-oriented real-time distributed…

IEEE International Conference and Workshops on the Engineering of Computer Based Systems ECBS 2012 will be the 19th formal IEEE sponsored meeting dedicated to formulating and advancing methods, techniques and tools for the engineering of computer-based…