Amazon Web Services (AWS) and Vanderbilt University invite your students to participate in the Mission Autonomy Hackathon, an immersive five-day event advancing innovation in autonomous systems. The hackathon will be held October 6–10, 2025, with sessions at Vanderbilt University in Nashville, TN.
Amazon Web Services (AWS) and Vanderbilt University invite your students to participate in the Mission Autonomy Hackathon, an immersive five-day event advancing innovation in autonomous systems. The hackathon will be held October 6–10, 2025, with sessions at Vanderbilt University in Nashville, TN.
The National Security Agency (NSA) has awarded the 12th Annual Best Scientific Cybersecurity Paper Competition to “Decoding Trust: Comprehensive Assessment of Trustworthiness in GPT Models.” The winning paper, authored by 19 researchers including Professors Dawn Song (UC Berkeley), Bo Li (UIUC), and Sanmi Koyejo (Stanford), proposes a groundbreaking evaluation framework for assessing the trustworthiness of large language models (LLMs) such as GPTs.
The National Security Agency has published their 2023 Cybersecurity Year in Review!
In an effort to be more transparent, the National Security Agency publishes an annual year in review sharing information regarding cybersecurity efforts that better equipped U.S. defenses against high priority cyber threats. NSA’s efforts to help secure the nation’s most sensitive systems also help your cybersecurity because NSA cascades these solutions through public guidance and engages with key technology providers to help them bolster the security of their products and services.
The International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all sorts of systems. Model-based software engineering has emerged over many years as an approach for developing IT systems in which models take a central role, not only for the analysis of these systems but also for their construction.
We are pleased to invite you to participate in the 28th Brazilian Symposium
on Formal Methods (SBMF’25), which will be held at the
Northeast Strategic Technologies Center – CETENE, Brazil, from December
02-05, 2025.
SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of safe, performant, and cost-effective self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection.
Open Rank Positions in Electrical and Computer Engineering
Position Description