Symposium

event

Visible to the public  2015 CPS Community Forum (at CPS Week 2015)
Apr 14, 2015 8:00 pm - 9:30 pm PDT

CPS Community Forum

Tuesday, April 14, 2015

8:00 p.m. - 9:30 p.m.

event

Visible to the public  RTSS 2015
Dec 01, 2015 8:00 am - Dec 04, 2015 5:00 pm CST

The 36th IEEE Real-Time Systems Symposium (RTSS'15)

sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

event

Visible to the public  RTSS 2019
Dec 04, 2019 7:00 am - Dec 06, 2019 6:00 pm HKT

40th IEEE Real-Time Systems Symposium (RTSS 2019)

The IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the field of real time systems, presenting innovations with respect to both theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems, including theory, design, analysis, implementation, evaluation, and experience.

event

Visible to the public  SAS 2019
Oct 09, 2019 7:00 am - Oct 11, 2019 6:00 pm WEST

26th Static Analysis Symposium

Part of the 3rd World Congress on Formal Methods

event

Visible to the public  SOUPS 2019
Aug 11, 2019 7:00 am - Aug 13, 2019 6:00 pm CDT

Fifteenth Symposium on Usable Privacy and Security (SOUPS 2019)

Co-located with USENIX Security '19

August 11-13, 2019, at the Hyatt Regency Santa Clara in Santa Clara, CA, USA.

The 2019 Symposium on Usable Privacy and Security (SOUPS) will bring together an interdisciplinary group of researchers and practitioners in human computer interaction, security, and privacy.

SOUPS 2019 will bring together an interdisciplinary group of researchers and practitioners in human computer interaction, security, and privacy.

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.