Call for Invited Speakers

Please submit your scheduled talk title, abstract, and bio to [email protected]. The submission will be reviewed by the four co-chairs and the organizing committee members. If the topic is deemed suitable, we will send you an official invitation. You are required to include ‘[TACPS-OCT]’ in your email subject. Thank you for your support.

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 neurosymbolic theories, new specification language, and 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, and 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