The content for submission includes: your scheduled talk abstract, your bio and a recent photo. Please submit before 4th Dec 2023 (Anywhere on Earth). Each talk is allocated a one-hour slot, which includes 15 minutes specifically reserved for a Q&A session with the audience.
Please email all your submission files to the co-chair of TACPS, Dr. James (Xi) Zheng at [email protected].
The topic should be related to trustworthy autonomous cyber-physical systems, including but not limited to:
- Theories of trustworthy autonomous cyber-physical systems, such as Neuro-symbolic theories, new specification language, new system modelling.
- Innovative methods for building trustworthy autonomous cyber-physical systems
- New networking architecture for trustworthy autonomous cyber-physical systems
- Empirical study of trustworthy autonomous cyber-physical systems
- Explainable and interpretable machine learning
- Privacy-preserving machine learning
- Testing of trustworthy autonomous cyber-physical systems such as safety testing, security testing.
- Theorem proving of trustworthy autonomous cyber-physical systems
- Static Analysis of trustworthy autonomous cyber-physical systems
- Model checking of trustworthy autonomous cyber-physical systems
- Runtime monitoring and Anomaly Detection of trustworthy autonomous cyber-physical systems
- Data Labelling algorithms to minimize and reduce labelling errors and costs in trustworthy autonomous cyber-physical systems
- Fault Tolerance of trustworthy autonomous cyber-physical systems
- Security Analysis of trustworthy autonomous cyber-physical systems
- Human-in-the-loop supervision for trustworthy autonomous cyber-physical systems