MathInCS-Workshop