2018

event

Visible to the public  NSF WATCH TALK - Server-Side Verification of Client Behavior
Feb 15, 2018 12:00 pm - 1:00 pm EST

Submitted by Anonymous on Fri, 02/09/2018 - 10:12am

The next WATCH talk, called Server-Side Verification of Client Behavior, from Michael Reiterat the University of North Carolina at Chapel Hill is Thursday, February 15th, from 12PM -1PM.

event

Visible to the public  RTSS 2018
Dec 11, 2018 7:00 am - Dec 14, 2018 6:00 pm CST

Submitted by Anonymous on Thu, 02/08/2018 - 5:49pm

39th IEEE Real-Time Systems Symposium (RTSS 2018)

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. RTSS'18 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

event

Visible to the public  Decrypting the Encryption Debate
Feb 15, 2018 11:00 am - 12:15 pm EST

Submitted by Anonymous on Thu, 02/08/2018 - 2:27pm

Decrypting the Encryption Debate: Report Release Webinar

by NASEM Computer Science and Telecommunications Board

event

Visible to the public  USDOT MOD Webinar
Feb 15, 2018 2:00 pm - 3:00 pm EST

Submitted by Anonymous on Thu, 02/08/2018 - 1:25pm

U.S. Department of Transportation and ITS America Offer Free Webinar on Standards and Specifications for MOD

Title: Standards and Specifications for MOD
Date: Thursday, February 15, 2018
Time: 2:00 - 3:00 PM ET
Presenters: USDOT, TriMet, VTrans
Registration: Click Here

event

Visible to the public  SEFM 2018
Jun 27, 2018 7:00 am - Jun 29, 2018 6:00 pm CEST

Submitted by Anonymous on Thu, 02/08/2018 - 12:14pm

The 16th International Conference on Software Engineering and Formal Methods (SEFM)

will be part of STAF 2018

The 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, will be held on 27-29 June 2018 collocated with STAF 2018 in Toulouse, France.

event

Visible to the public  SPIN 2018
Jun 20, 2018 7:00 am - Jun 22, 2018 6:00 pm CEST

Submitted by Anonymous on Thu, 02/08/2018 - 12:01pm

25th International Symposium on Model Checking of Software (SPIN 2018)

The 25th 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 analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.

event

Visible to the public  RTNS 2018
Oct 10, 2018 7:00 am - Oct 12, 2018 6:00 pm CEST

Submitted by Anonymous on Thu, 02/08/2018 - 11:52am

26th International Conference on Real-Time Networks and Systems (RTNS 2018)

RTNS (Real-Time Networks and Systems) is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems, including, but not limited to:

event

Visible to the public  ISLPED 2018
Jul 23, 2018 7:00 am - Jul 25, 2018 6:00 pm EDT

Submitted by Anonymous on Wed, 02/07/2018 - 11:22am

INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED 2018)

Pending sponsorship by the ACM Special Interest Group on Design Automation (SIGDA) and the IEEE Circuits and Systems Society (CASS).

event

Visible to the public  ARPA-E Energy Summit
Mar 13, 2018 7:00 am - Mar 15, 2018 6:00 pm EDT

Submitted by Anonymous on Tue, 02/06/2018 - 2:55pm

The ARPA-E Energy Innovation Summit


The ARPA-E Energy Innovation Summit is an annual conference and technology showcase that brings together experts from different technical disciplines and professional communities to think about America's energy challenges in new and innovative ways. Now in its ninth year, the Summit offers a unique, three-day program aimed at moving transformational energy technologies out of the lab and into the market. Join other energy industry experts, thought leaders, and decision makers at the 2018 Summit to:

event

Visible to the public  SafeComp 2018
Sep 18, 2018 7:00 am - Sep 21, 2018 6:00 pm CEST

Submitted by Anonymous on Tue, 02/06/2018 - 12:27pm

37TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY, & SECURITY (SAFECOMP 2018)

Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.