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
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	reserved
Minimum Pure Decision Trees, MaxSAT, Explainability	Interpretable Decision Trees	Software Engineering,Programming Paradigms, Machine Learning I	MaxSAT, Explainable AI, machine 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	reserved
Machine Learning, Incremental learning	An Incremental Learning Approach Using Long Short-Term Memory Neural Networks	Machine Learning	Machine Learning, Wind power,online learning	reserved
Machine Learning, Adaptive learning	An Adaptive Approach for Probabilistic Wind Power Forecasting Based on Meta-Learning	Machine Learning	Machine Learning, Wind power,adaptive learning	reserved