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.


Visible to the public  Symposium on Usable Privacy and Security (SOUPS 2018)
Aug 12, 2018 8:00 am - Aug 14, 2018 5:00 pm EDT

The Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018) will take place August 12-14, 2018, at the Baltimore Marriott Waterfront in Baltimore, MD.

The 2018 SOUPS will bring together an interdisciplinary group of researchers and practitioners in human computer interation, security, and privacy. The program is now available online at


Visible to the public  SBMF 2017
Nov 27, 2017 7:00 am - Dec 01, 2017 6:00 pm WET


20th Brazilian Symposium on Formal Methods (SBMF)



Visible to the public  IUI 2018
Mar 07, 2017 7:00 am - 6:00 pm EST

ACM IUI 2018 is the 23rd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI) community. We are also very interested in contributions from related fields, such as psychology, behavioral science, cognitive science, computer graphics, design, the arts, etc.