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
Algorithms, Automated Software Engineering	PyDSMC for Deep Learning Algorithms	Deep Learning, Software Engineering	System integration, Data evaluation, Reinforcement learning
Statistics and computing, Logic analysis	Monte-Carlo Simulations with Safe Bounds	Statistics, Programming	Statistical model checking, benchmarking