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..


Visible to the public  CITE 2017
Oct 23, 2017 7:00 am - Oct 25, 2017 6:45 pm JST

The 8th International Conference on Information Technology in Education (CITE 2017)

Special tracks within the Conference on Creative Education (CCE 2017). The main objective of CITE 2017 is to provide a platform for researchers, engineers and academicians from all over the world to present their research results and development activities on Information Technology in Education.


Visible to the public  IEEE Real-Time Systems Symposium (RTSS 2017)
Dec 05, 2017 9:00 am - Dec 08, 2017 6:00 pm CET

IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real time systems, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems theory, design, analysis, implementation, evaluation, and experiences. RTSS 2017 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  HPCA 2018
Feb 24, 2018 7:00 am - Feb 28, 2018 6:00 pm CET

24th IEEE International Symposium on High-Performance Computer Architecture (HPCA 2018)

The International Symposium on High-Performance Computer Architecture includes an industry session on the architecture of future systems technologies. The objective of this session is to provide a unique forum for industry participants to present their perspective on technical challenges facing future systems and discuss potential solutions.


Visible to the public  ACM-SAC 2018
Apr 09, 2018 7:00 am - Apr 13, 2018 6:00 pm CEST

33rd Annual ACM Symposium on Applied Computing

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing.

SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the Universite de Pau et des Pays de l'Adour (UPPA), Bayonne, France.