Keywords	Topic and main paper	Prerequisites	Particular interests	Status
Signal Temporal Logic, XAI	Sig-Lime: A Signal-Based Enhancement of Lime Explanation Technique	Logic, Machine Learning	XAI, STL formula learning	reserved
Formal modeling, network protocols, peer-to-peer computing	External project	Software verification	Modeling languages, TLA+, process mining, distributed computing	reserved
Location Privacy, Remapping, Discretization	A Privacy-Aware Remapping Mechanism for Location Data	Software Engineering,Algorithms and Data Structures, Stochastics	Privacy, Location-Based Services	reserved
Machine Learning, Ensemble Learning	Model-Independent Clustered Federated Learning with Heterogeneous Data Distributions	Machine Learning	Machine Learning, Ensemble Learning	reserved
Algorithms, Automated Software Engineering	PyDSMC for Deep Learning Algorithms	Deep Learning, Software Engineering	System integration, Data evaluation, Reinforcement learning	reserved
Statistics and computing, Logic analysis	Monte-Carlo Simulations with Safe Bounds	Statistics, Programming	Statistical model checking, benchmarking	reserved
MaxSAT, Local Search, Weighting Scheme	Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting	Software Engineering, Procedural Programming	MaxSAT, Optimization, Heuristics	reserved