AV will give a talk at the Institute for Science and Technology, Austria on how to make neural nets constraint-compliant.