Symposium

event

Visible to the public  RTSS 2020
Dec 01, 2020 7:00 am - Dec 04, 2020 6:00 pm CST

41st IEEE Real-Time Systems Symposium (RTSS 2020)

The safety and well-being of all conference participants is our top priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we are announcing that the IEEE RTSS 2020, scheduled to be held in-person in Houston, TX will now be converted into an all-digital conference experience. The dates of the conference will remain the same. We apologize for any inconvenience this may have caused.

event

Visible to the public  SP 2020 - Virtual
May 18, 2020 7:00 am - May 21, 2020 6:00 pm CDT

41st IEEE Symposium on Security and Privacy (SP 2020)

Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field. The 2020 Symposium will mark the 41st annual meeting of this flagship conference.

The Symposium will be held on May 18-20, 2020, and the Security and Privacy Workshops will be held on May 21, 2020.

event

Visible to the public  TIME 2020 - Virtual
Sep 23, 2020 7:00 am - Sep 25, 2020 6:00 pm CEST

27th International Symposium on Temporal Representation and Reasoning (TIME 2020)

Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2020 encompasses three tracks, but has a single program committee. The conference will be organized as a combination of technical paper presentations, keynote talks, and tutorials.

Invited Speakers

event

Visible to the public  SAS 2020
Nov 18, 2020 7:00 am - Nov 20, 2020 6:00 pm CST

27th Static Analysis Symposium (SAS 2020)

co-located with SPLASH 2020

Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.

event

Visible to the public  SPIN 2020 (Cancelled)
Jul 24, 2020 7:00 pm - 6:00 pm CDT

27th International Symposium on Model Checking of Software (SPIN 2020)

The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.

event

Visible to the public  USENIX 2021
Aug 11, 2021 1:00 pm - Aug 13, 2021 2:00 pm EDT

30th USENIX Security Symposium

The USENIX Security Symposium brings together researchers, practitioners, system administrators, system programmers, and others interested in the latest advances in the security and privacy of computer systems and networks. The 30th USENIX Security Symposium will be held August 11-13, 2021, in Vancouver, B.C., Canada.

event

Visible to the public  ISORC 2020
May 19, 2020 8:00 am - May 21, 2020 6:00 pm CDT

The 23rd International Symposium on Real Time Distributed Computing

May 19-21, 2020 | Nashville, TN

https://zoom.us/j/95461160218?pwd=ZUF4ZzZmQjBoMk02QVNvTnlMQVpIUT09

event

Visible to the public  ACM-SAC 2020 - Converted to Digital
Mar 30, 2020 7:00 pm - Apr 03, 2020 6:00 pm EEST

COVID-19 Update

As of March 17, 2020, SAC 2020 Organizing Committee sent out an email about providing the online presentation and downloading the proceedings

event

Visible to the public  HPCA 2020
Feb 22, 2020 7:00 am - Feb 26, 2020 6:00 pm AST

The 26th International Symposium on High-Performance Computer Architecture (HPCA 2020)

The IEEE 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. Authors are invited to submit papers on all aspects of high-performance computer architecture.

Topics of interest include, but are not limited to: