Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [UPDATE


view this post on Zulip Email Gateway (Mar 10 2025 at 17:40):

From: "\"Hammond, Aiden M. (ARC-TI)[KBR Wyle Services, LLC]\"" <cl-isabelle-users@lists.cam.ac.uk>
The submission deadline has been extended to April 4th, see details below.

--

CALL FOR IEEE SMC-IT/SCC 2025 SUBMISSIONS -- Extended Deadline

11th International Conference on Space Mission Challenges for

Information Technology (SMC-IT)

16th International Conference on Space Computing (SCC)

California Science Center - Los Angeles, California

https://2025.smcit-scc.space/

Important Dates

Sponsored by: IEEE Computer Society - Technical Committee on Software

Engineering and Technical Committee on Computer Architecture

We invite submissions for the IEEE International Conference on Space

Mission Challenges for Information Technology (SMC-IT) and the IEEE

Space Computing Conference (SCC). These conferences gather

professionals, such as system designers, engineers, computer

architects, scientists, practitioners, data scientists, and space

explorers, who are committed to advancing information technology and

improving the computational capabilities and dependability of space

missions. These forums provide a valuable opportunity for in-depth

technical dialogues covering various aspects of space mission hardware

and software.

Systems in all aspects of the space mission will be explored, including

flight systems, ground systems, science data processing, engineering

and development tools, operations, telecommunications,

radiation-tolerant computing devices, reliable electronics, and

space-qualifiable packaging technologies.

The entire information systems lifecycle of the mission development

will also be covered, such as conceptual design, engineering tools

development, integration and test, operations, science analysis, and

quality control.

Topics of interest include (but are not limited to) space applications

of the following:

SMC-IT

Robotics, Cybersecurity, Networking, Memory and Storage, Advanced

Ground Control, Advanced Modeling & Digital Twins for Onboard Systems,

Data Analytics and Big Data, Fault-Tolerant Processing, Trustable

Intelligent/Autonomous Systems, Smart Instruments, Augmented

Reality/Virtual Reality and HCI, Manufacturing and Assembly of Large

Structures, Improved Operations, Software Reliability for

Mission-Critical Applications and Safety of Life.

SCC

High-Performance Onboard Computing, Components, Radiation, and

Packaging, Computing Architectures, Flight Data Processing, Avionics

Systems, Machine Learning/Neural Computing, Crew Interfaces, Extreme

Environments Computing, Distributed Computing, Infusion and adoption of

industry standards for space applications.

SMC-IT/SCC Classified Session

A SMC-IT/SCC classified session will be held at The Aerospace

Corporation, Friday, August 1, 2025 from 0800 to 1200 PDT. The theme

of the session is "Unleashing Disruption and Transformation: Emerging

Technologies in Space." All attendees must possess a TS/SCI clearance

and be a U.S. Citizen. Please send a message to: smc-it-scc@aero.org<mailto:smc-it-scc@aero.org>

for additional registration information.

Process and Format

CONFERENCE CHAIRS

CFP v6 - 2025-03-10


Last updated: May 30 2025 at 04:27 UTC