IEEE SMC-IT/SCC 2025
Mon 28 July - Fri 1 August 2025
Los Angeles, California, United States
Toggle navigation
Attending
Venue: California Science Center
Registration & Accommodation
Program
IEEE SMC-IT/SCC Program
Your Program
Mon 28 Jul
Tue 29 Jul
Wed 30 Jul
Thu 31 Jul
Fri 1 Aug
Tracks
IEEE SMC-IT/SCC 2025
Research Papers
Call for Workshops
Classified Session
Workshops
AR/VR
DASS
DependSys
HPSC
IAS
MSA V&V
NIER
OSSW
SOSA Space
Workshop
Space Cyber
Space Robotics
Student Innovations
Organization
IEEE SMC-IT/SCC 2025 Committees
Organizing Committee
Track Committees
Research Papers
Program Committee (SCC)
Research Papers
Program Committee (SMC-IT)
Classified Session
Contributors
People Index
Workshops
AR/VR
Program Committee
DASS
Distributed Autonomy for Space Systems
DependSys
Organizing Committee
Program Committee
HPSC
N/A - check homepage
IAS
Organizing Committee
Program Committee
MSA V&V
Organizing Committee
Program Committee
NIER
Program Committee
OSSW
Chairs
SOSA Space
N/A - check homepage
Space Cyber
Program Committee
Space Robotics
Organizers Committee
Student Innovations
Organizing Committee
Sponsors
Order Form
Prospectus
Search
Series
Series
IEEE SMC-IT/SCC 2025
IEEE SMC-IT/SCC 2024
IEEE SMC-IT/SCC 2023
IEEE SCC 2021
IEEE SMC-IT 2021
IEEE SMC-IT 2019
Sign in
Sign up
IEEE SMC-IT/SCC 2025
(
series
) /
California Science Center
/
Room information: CR16
Venue
California Science Center
Room name
CR16
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 28 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Session 1
Space Robotics
at
CR16
10:30
90m
Panel
Unlocking the Offworld Economy with Robotic Technologies
Space Robotics
Maggie Wang
,
Dennis Wingo
,
Grace Gao
,
Rob Mueller
13:00 - 15:00
Session 2
Space Robotics
at
CR16
13:00
90m
Panel
Mars Settlement Starts with Autonomy and Robotics
Space Robotics
Luis Sentis
,
Ignacio López-Francos
NASA Ames
,
Maruthi Akella
,
Pascal Lee
SETI Institute, Mars Institute & NASA Ames Research Center
14:30
30m
Panel
One-Shot Interplanetary Exploration With Software-Defined Robotic Systems (Part 1)
Space Robotics
Hiro Ono
,
Dean Bergman
,
Feifei Qian
15:30 - 17:00
Session 3
Space Robotics
at
CR16
15:30
90m
Panel
One-Shot Interplanetary Exploration With Software-Defined Robotic Systems (Part 2)
Space Robotics
Hiro Ono
,
Dan Negrut
,
Yue Wang
Tue 29 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Session 4
Space Robotics
at
CR16
10:30
90m
Talk
High-Fidelity Simulation and Digital Twins for Space Robotics
Space Robotics
13:00 - 15:00
Session 5
Space Robotics
at
CR16
14:00
15m
Talk
Experimental Study of Magnetically-Actuated Satellite Swarm: Controllability Extension via Time-Integrated Control with Geometry Learning
Space Robotics
Yuta Takahashi
14:15
15m
Talk
Validation and Verification of Safety-Critical Aspects of Autonomy in Orbital Robotics
Space Robotics
Roberto Lampariello
14:30
15m
Talk
Learning Surface and Vertical Mobility for Enceladus Direct Ocean Access
Space Robotics
Jack Naish
14:45
15m
Talk
A Rigid-Soft Underactuated Tendon-Driven Gripper Prototype for Free-Flying Manipulation
Space Robotics
Jordan Kam
University of California, Berkeley
15:30 - 17:00
Session 6
Space Robotics
at
CR16
15:30
15m
Talk
Drift-Free Visual Compass Leveraging Digital Twins for Cluttered Environments
Space Robotics
Jungil Ham
15:45
15m
Talk
Adaptive Science Operations in Deep Space Missions using Robust Precomputed Autonomy
Space Robotics
Grace Kim
16:00
15m
Talk
RA-SR: A 16–32-Channel Low-Power FPGA Multi-Protocol ESC Controller for Space Robotics
Space Robotics
Mohamed El-Hadedy
California State Polytechnic University, Pomona
16:15
15m
Talk
Free-Flying Intra-Vehicular Robots: A Review
Space Robotics
Jordan Kam
University of California, Berkeley
16:30
30m
Talk
Best Paper Award + Closing Remarks
Space Robotics
Wed 30 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Session 1
MSA V&V
at
CR16
10:30
90m
Talk
Addressing Multicore Interference in Safety-and-Mission-Critical Computers
MSA V&V
Samuel R Thompson
Rapita Systems Ltd
13:00 - 15:00
Session 2
MSA V&V
at
CR16
13:00
2h
Talk
On Formal Specifications at Arm
MSA V&V
Jade Alglave
Arm and University College London
15:30 - 17:00
Session 3
MSA V&V
at
CR16
15:30
90m
Panel
Discussion: Use Cases
MSA V&V
Alwyn Goodloe
NASA Langley Research Center
Thu 31 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Session 1
Space Cyber
at
CR16
10:30
70m
Panel
Secure Development Practices
Space Cyber
James Curbo
Johns Hopkins University
,
Thomas Sandholm
RISE Research Institutes of Sweden AB
,
Kate Stewart
Linux Foundation
11:45
15m
Talk
Key Establishment in the Space Environment
Space Cyber
Xisan Tian
13:00 - 14:30
Session 2
Space Cyber
at
CR16
13:00
90m
Panel
Space Communications Security
Space Cyber
Neal Solmeyer
,
James Ayres
15:00 - 16:00
Session 3
Space Cyber
at
CR16
15:00
60m
Panel
Vulnerability Discovery and Risk Analysis for Space Systems
Space Cyber
James Curbo
Johns Hopkins University
,
Sherry Neher
Hide past events
Mon 28 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
CR16
Space Robotics
Session 1
Space Robotics
Session 2
Space Robotics
Session 3
Tue 29 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
CR16
Space Robotics
Session 4
Space Robotics
Session 5
Space Robotics
Session 6
Wed 30 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
CR16
MSA V&V
Session 1
MSA V&V
Session 2
MSA V&V
Session 3
Thu 31 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
CR16
Space Cyber
Session 1
Space Cyber
Session 2
Space Cyber
Session 3
Hide past events
Mon 28 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
CR16
Space Robotics
Unlocking the Offworld Economy with Robotic Technologies
10:30 - 12:00
Space Robotics
Mars Settlement Starts with Autonomy and Robotics
13:00 - 14:30
Space Robotics
One-Shot Interplanetary Exploration With Software-Defined Robotic Syste ...
14:30 - 15:00
Space Robotics
One-Shot Interplanetary Exploration With Software-Defined Robotic Syste ...
15:30 - 17:00
Tue 29 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
CR16
Space Robotics
High-Fidelity Simulation and Digital Twins for Space Robotics
10:30 - 12:00
Space Robotics
Experimental Study of Magnetically-Actuated Satellite Swarm: Controllab ...
14:00 - 14:15
Space Robotics
Validation and Verification of Safety-Critical Aspects of Autonomy in O ...
14:15 - 14:30
Space Robotics
Learning Surface and Vertical Mobility for Enceladus Direct Ocean Access
14:30 - 14:45
Space Robotics
A Rigid-Soft Underactuated Tendon-Driven Gripper Prototype for Free-Fly ...
14:45 - 15:00
Space Robotics
Drift-Free Visual Compass Leveraging Digital Twins for Cluttered Enviro ...
15:30 - 15:45
Space Robotics
Adaptive Science Operations in Deep Space Missions using Robust Precomp ...
15:45 - 16:00
Space Robotics
RA-SR: A 16–32-Channel Low-Power FPGA Multi-Protocol ESC Controller for ...
16:00 - 16:15
Space Robotics
Free-Flying Intra-Vehicular Robots: A Review
16:15 - 16:30
Space Robotics
Best Paper Award + Closing Remarks
16:30 - 17:00
Wed 30 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
CR16
MSA V&V
Addressing Multicore Interference in Safety-and-Mission-Critical Computers
10:30 - 12:00
MSA V&V
On Formal Specifications at Arm
13:00 - 15:00
MSA V&V
Discussion: Use Cases
15:30 - 17:00
Thu 31 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
CR16
Space Cyber
Secure Development Practices
10:30 - 11:40
Space Cyber
Key Establishment in the Space Environment
11:45 - 12:00
Space Cyber
Space Communications Security
13:00 - 14:30
Space Cyber
Vulnerability Discovery and Risk Analysis for Space Systems
15:00 - 16:00
Hide past events
x
Wed 30 Jul 11:23