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.

 

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 a

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

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:

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)…

 

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

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…