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

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,


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

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.


Visible to the public  SIES 2018
Jun 06, 2018 7:00 am - Jun 08, 2018 6:00 pm CEST

13th IEEE International Symposium on Industrial Embedded Systems (SIES)

In conjunction with "2nd Symposium on Dependable Internet of Things" June 5, 2018, Graz, Austria

The IEEE Symposium on Industrial Embedded Systems (SIES) is a highly selective
single-track international conference focusing on premier research results for
embedded systems - an area of highest relevance for visionary technologies
such as the Internet of Things (IoT) and applications such as Industry 4.0,
Smart Production, Smart Cities, Connected Cars, etc.


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

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.


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

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.


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


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


Visible to the public  SEAMS 2018
May 28, 2018 7:00 am - May 29, 2018 6:00 pm CEST

The 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

SEAMS 2018 is co-located with the 40th International Conference on Software Engineering (ICSE 2018)

Follow SEAMS2018


Visible to the public  NFM 2018
Apr 17, 2018 7:00 am - Apr 19, 2018 6:00 pm EDT

The 10th NASA Formal Methods Symposium (NFM 2018)

30 Years of Formal Methods at NASA


Oct 03, 2017 9:00 am - 3:30 pm EDT

Location: D'Agostino Hall, NYU School of Law
108 West 3rd Street | New York, NY, US

Emerging technologies present intriguing challenges and exciting opportunities that require innovative thinking and diverse perspectives. Join us October 3rd as we take an interdisciplinary approach to exploring critical issues involving:


Visible to the public  ISORC 2018
May 29, 2018 7:00 am - May 31, 2018 6:00 pm +08

IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC 2018)

IEEE ISORC was founded in 1998 (with its first meeting in Kyoto, Japan) to address research into the application of real-time object-oriented distributed technology. Since then, ISORC has continually evolved to meet the latest challenges faced by researchers and practitioners in the real-time domain, with an emphasis on object-, component- and service- oriented systems and solutions..