Keywords	Topic and main paper	Prerequisites	Particular interests	Status
Temporal Logic, Signal Robustness	Efficient Robust Monitoring for STL	Logic	Verification, Signal Processing
Verification Tools, Automatic Configuration	SATune: a study-driven auto-tuning approach for configurable software verification tools	Software verification	Performance Analysis, Result Validation
Learning, Automated Decisions, Online Safety Requirements	Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems	Software verification	Decision Analysis, Cyber-physical Systems	reserved
Ensemble learning, Federated learning, Machine Learning	Boosting the Federation: Cross-Silo Federated Learning without Gradient Descent	Machine Learning	distributed ensemble learning	reserved
Verification Tools, Invariant Generation	Can ChatGPT support software verification?	Software verification	Verification, Large Language Models
Formal modeling, network protocols, peer-to-peer computing	External project	Software verification	Modeling languages, TLA+, process mining, distributed computing
Neural Networks, Fault Localization, Ensemble Learning	Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models	Machine Learning	Spectrum-Based Fault Localization, Neural Network	reserved
Boolean Satisfiability, Diverse-k-Set	Generating Diverse Solutions in SAT	Procedural Programming, Programming Paradigms, Software Engineering, Algorithms and Data Structures	Automated Reasoning, Efficient C++ Programming	reserved