Do you have a proposal for an academic or industry (company) session supporting green technologies you think would be valuable to include in the program for the 2024 IEEE Green Technologies Conference? We want to hear from you!

The goal of the ANT-2024 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies,…

FM 2024 is the 26th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia…

Nullcon is an annual security conference held in Goa, India and after having success for so many years we are also bringing the same awesome experience to Berlin. The focus of the conference is to showcase the next generation of offensive and defensive…

We are pleased to announce the transitioning of the CPS VO to a more current version of the open-source content management system, Drupal 10. With the next instantiation of the VO, we are moving to a multi-site architecture. This structure enables…

Raiyan Shaik, Senior News ReporterSeptember 3, 2023The Center for Autonomy at the Oden Institute hosted a new research program for undergraduates over the summer, providing students with the opportunity to gain experience in autonomous technology…

September 26, 2023Dear Colleagues:This Dear Colleague Letter (DCL) encourages the submission of new CREST Center proposals focusing on social, behavioral and economic sciences research. The CREST program supports the creation of research centers that…

As growing and maturing data services demand faster Internet speeds and operating systems call for better security, hackers and adversaries continue to interfere. For some, this involves infiltrating home and office wireless networks to steal personal or…

A limited number of student travel grants are available for students from US-based institutions to attend SmartComp 2023. The travel award typically covers up to $1,250 of expenses, including registration, airfare, and lodging. However, the final number…

The 2022 prize of ARCH-COMP was awarded to PSY-TaLiRo. The jury, consisting of group leaders and workshop participants, appreciated the technical achievements embodied in PSY-TaLiRo and furthermore recognised the long and continuous stream of…

The ARCH 2021 Best Result Award goes to Katherine Cordwell, Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andre Platzer, William Simmons, Yong Kiam Tan, and Noah Abou El Wafa (in alphabetical order) for their verification tool KeYmaera X. The award comes…

President Biden signed the K12 Cybersecurity Act which should strengthen the cybersecurity of US K-12 schools. This includes assessing the cybersecurity risks effecting K-12 schools such as securing information systems and protecting student and…

Beware of Joker malware found in the Color Message app. The malware is part of a an app that promises better colors, emojis and screen overlays. What it really does is subscribe users to unwanted paid premium services controlled by the attackers in a…

Meta, the new name for Facebook, has expanded it’s Facebook Protect security program to journalists, government officials, human rights defenders, and activist who are often targets online. The program offers enhances security like two factor…

<p><strong>NSF 21-028</strong></p> <h2>Dear Colleague Letter: Research Experiences for Undergraduates (REU) and Research Experiences for Teachers (RET) Supplemental Funding in Computer and Information Science and…

<h2>Designing Accountable Software Systems (DASS)</h2> <p><strong>PROGRAM SOLICITATION<br> NSF 22-512</strong></p> <p><strong>REPLACES DOCUMENT(S):<br> NSF 21-554</strong></p…