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
Machine Learning, Deep Learning	Time series forecasting and anomaly detection using deep learning	Machine Learning	Anomaly detection, Deep Learning, Time Series	reserved
Formal modeling, network protocols, peer-to-peer computing	External project	Software verification	Modeling languages, TLA+, process mining, distributed computing	reserved
activity diagrams, execution traces	Construction of Activity Diagrams from Java Execution Traces	Software engineering	Automated software engineering	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
Signal Temporal Logic,	TeLEx: learning signal temporal logic from positive examples using tightness metric	Logic, Programming	Optimization, STL formula learning
Machine Learning, Multi-Agent Cooperation	Coordinated Exploration via Intrinsic Rewards for Multi-Agent Reinforcement Learning	Multi-Agent Systems, Machine Learning	Reinforcement Learning, Multi-Agent Coordination	reserved