Keywords	Topic and main paper	Prerequisites	Particular interests	Status
Temporal Logic, Signal Robustness	Efficient Robust Monitoring for STL	Logic	Verification, Signal Processing
Formal modeling, network protocols, peer-to-peer computing	External project	Software verification	Modeling languages, TLA+, process mining, distributed computing
Automated testing, property-based testing	Property-based Testing within ML Projects: an Empirical Study	Software Engineering, Functional Programming Testing	Repository mining, machine learning
Minimum Pure Decision Trees, MaxSAT, Explainability	Interpretable Decision Trees	Software Engineering,Programming Paradigms, Machine Learning I	MaxSAT, Explainable AI, machine learning	reserved
Machine Learning, Ensemble Learning	Clustered Federated Learning: Model-Agnostic Distributed Multi-Task Optimization under Privacy Constraints	Machine Learning	distributed learning, clustering, ensemble learning	reserved
Location Privacy, Remapping, Discretization	A Privacy-Aware Remapping Mechanism for Location Data	Software Engineering,Algorithms and Data Structures, Stochastics	Privacy, Location-Based Services