2018

event

Visible to the public  SOCC 2018
Sep 04, 2018 7:00 am - Sep 07, 2018 6:00 pm EDT

Submitted by Anonymous on Fri, 04/20/2018 - 11:14am

31st IEEE International System-on-Chip Conference (SOCC2018)

"Thinking SOCs: AI and ML applications"

For more than 30 years the IEEE International System-on-Chip Conference (SOCC) has been the premier forum for sharing the latest advancements in SoC architecture, systems, logic and circuit design, process technology, test, design tools, and applications.
We proudly continue this tradition with the 2018 conference in Crystal City, Arlington, VA, in the heart of the Washington DC Metro Area.

event

Visible to the public  PECCS 2018
Jul 29, 2018 7:00 am - Jul 30, 2018 6:00 pm WEST

Submitted by Anonymous on Fri, 04/20/2018 - 10:51am

8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018)

In Cooperation with EUROMICRO

The purpose of PECCS is to bring together researchers and practitioners interested in both theoretical advances and applications of Pervasive and embedded computing and communication. PECCS is composed of two co-located conferences, each specialized in at least one of the aforementioned main knowledge areas.

Conference Co-chairs

event

Visible to the public  ReCoSoC 2018
Jul 09, 2018 7:00 am - Jul 11, 2018 6:00 pm CEST

Submitted by Anonymous on Fri, 04/20/2018 - 10:41am

CALL FOR PAPERS - Full paper submission deadline : 23rd April 2018 (deadline Extension)

13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2018)

July 9th-11th, 2018, Lille, France, www.recosoc.org

event

Visible to the public  NAS18
Oct 11, 2018 7:00 am - Oct 14, 2018 6:00 pm EDT

Submitted by Anonymous on Tue, 04/03/2018 - 1:59pm

The 13th International Conference on Networking, Architecture, and Storage (NAS18)

Sponsored by IEEE

event

Visible to the public  MEMOCODE '18
Oct 15, 2018 7:00 am - Oct 18, 2018 6:00 pm HKT

Submitted by Anonymous on Tue, 04/03/2018 - 1:04pm

16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18)

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.

event

Visible to the public  WAISE 2018
Sep 18, 2018 3:00 pm - 4:00 pm CEST

Submitted by Anonymous on Tue, 04/03/2018 - 12:58pm

First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)

In conjunction with SAFECOMP 2018

event

Visible to the public  RTCSA 2018
Aug 29, 2018 7:00 am - Aug 31, 2018 6:00 pm HKT

Submitted by Anonymous on Tue, 04/03/2018 - 12:07pm

The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018)

Hokkaido, Japan | August 29-31, 2018 | rtcsa2018.ht.sfc.keio.ac.jp

The RTCSA conference series carry on with the tradition and bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and their emerging applications, including the Internet of things and cyber-physical systems.

event

Visible to the public  SAS 2018
Aug 29, 2018 7:00 am - Aug 31, 2018 6:00 pm CEST

Submitted by Anonymous on Wed, 03/21/2018 - 10:16am

25th Static Analysis Symposium (SAS 2018)

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. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany.

event

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

Submitted by Anonymous on Wed, 03/14/2018 - 3:03pm

12th International Conference on Tests & Proofs (TAP 2018)

Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)

Purpose and scope

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.