Symposium

25th IEEE International Symposium on High-Performance Computer Architecture (HPCA 2019)

Early Registration Extended until January 31

The 25th International Symposium on High-Performance Computer Architecture provides a high-quality forum for scientists and engineers to present their latest research findings in this rapidly-changing field.

Critical Infrastructure Resilience Through Communication, Coordination, and Collaboration

SYMPOSIUM THEME.

The 2019 Frontiers in Resilience Symposium will focus on the role of communication, coordination, and collaboration for critical infrastructure resilience. This theme recognizes the increasing importance of multi-stakeholder partnerships--across the public, private, and nonprofit sectors--in promoting resilience within and across increasingly interdependent critical infrastructure sectors.

11th Annual NASA Formal Methods Symposium (NFM 2019)

Challenges for Future Exploration

25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'19)

The 25th in a series of annual conferences sponsored by the IEEE, will be held in Montreal, Canada, as part of the Cyber-Physical Systems Week (CPSWeek) in April, 2019. The scope of RTAS'19 consists of three tracks:

The Computer Security Foundations Symposium is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled "The Foundations of Computer Security - We Need Some." The meeting became a "symposium" in 2007, along with a policy for open, increased attendance.