Symposium

event

Visible to the public  SPIN 2019
Jul 15, 2019 7:00 am - Jul 19, 2019 6:00 pm +07

26th International SPIN Symposium on Model Checking of Software (SPIN 2019)

Co-located with ISSTA 2019

event

Visible to the public  SEAMS 2019
May 25, 2019 7:00 am - May 26, 2019 6:00 pm EDT

14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019)

colocated with ICSE 2019

The objective of SEAMS is to bring together researchers and practitioners from diverse areas to investigate, discuss, and examine the fundamental principles, the state of the art, and critical challenges of engineering self-adaptive and self-managing systems.

event

Visible to the public  IEEE ISORC 2019
May 07, 2019 7:00 am - May 09, 2019 6:00 pm EDT

22nd IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING

IEEE ISORC was founded in 1998 (with its first meeting in Kyoto, Japan) to address research into the application of real-time object-oriented distributed technology. Since then, ISORC has continually evolved to meet the latest challenges faced by researchers and practitioners in the real-time domain, with an emphasis on object-, component- and service- oriented systems and solutions.

event

Visible to the public  HPCA 2019
Feb 16, 2019 7:00 am - Feb 20, 2019 6:00 pm EST

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.

event

Visible to the public  ATVA 2019
Oct 28, 2019 7:00 am - Oct 30, 2019 6:00 pm CST

17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.

event

Visible to the public  2019 FRONTIERS IN RESILIENCE
Jan 14, 2019 7:00 am - Jan 15, 2019 6:00 pm EST

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.

event

Visible to the public  EICS 2019
Jun 18, 2019 7:00 am - Jun 21, 2019 6:00 pm CEST

The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019)

EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems.

event

Visible to the public  NFM 2019
May 07, 2019 7:00 am - May 09, 2019 6:00 pm CDT

11th Annual NASA Formal Methods Symposium (NFM 2019)

Challenges for Future Exploration

event

Visible to the public  HotSoS 2019
Apr 02, 2019 7:00 am - Apr 03, 2019 6:00 pm CDT

Symposium and Bootcamp on the Science of Security (HotSoS)

ABOUT HoTSoS

HoTSoS is a research event centered on the Science of Security, which aims to address the fundamental problems of security in a principled manner.

event

Visible to the public  RTAS 2019
Apr 16, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

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: