[ml_ned] CWI-SC seminar Christian Franzke