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  SIGCSE 2020
Aug 20, 2019 5:00 pm - 6:00 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  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

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.