Towards Trustworthy Recommendation Systems for Online Social Networks
Dauer: 84 Monate, Fördersumme: € 1.475.074
ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
Parameterized Graph Drawing
Dauer: 48 Monate, Fördersumme: € 781.860
SCALE2: SeCure, privAte, and interoperabLe layEr 2
Dauer: 48 Monate, Fördersumme: € 879.850
Structured Data Learning with General Similarities
Dauer: 48 Monate, Fördersumme: € 734.470
ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs
Dauer: 49 Monate, Fördersumme: € 782.100