Symposium

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:

event

Visible to the public  SIGCSE 2020
Mar 11, 2020 5:00 pm - Mar 14, 2020 6:00 pm MDT

Call for Papers

SIGCSE 2020

The 51st ACM Technical Symposium on Computer Science Education

March 11 - March 14, 2020

Portland, Oregon, USA

http://sigcse2020.sigcse.org

The SIGCSE Technical Symposium is the largest computing education conference worldwide organized by ACM Special Interest Group on Computer Science Education (SIGCSE). It attracts nearly 2000 researchers, educators, and practitioners interested in improving computing education in K-12 and higher education.

event

Visible to the public  SIGCSE 2020
Aug 20, 2019 4:45 pm - 5:45 pm EDT

Call for Papers

SIGCSE 2020

The 51st ACM Technical Symposium on Computer Science Education

March 11 - March 14, 2020

Portland, Oregon, USA

http://sigcse2020.sigcse.org

The SIGCSE Technical Symposium is the largest computing education conference worldwide organized by ACM Special Interest Group on Computer Science Education (SIGCSE). It attracts nearly 2000 researchers, educators, and practitioners interested in improving computing education in K-12 and higher education.

event

Visible to the public  Symposium on Applications of Contextual Integrity
Sep 13, 2019 5:30 pm - Sep 14, 2019 6:30 pm CDT

The aim of the symposium is to foster communication among diverse communities of research and practice that have used the theory of contextual integrity as a framework to reason about, design and evaluate, craft regulation for, and generate formal logics for privacy. After the success of a half-day meeting in Fall 2017, we are excited to follow up with a more comprehensive event to foster discussion across a broader spectrum of disciplines. The Symposium will feature a combination of invited and submitted works.

Symposium Chairs