A general approach for a posteriori error estimates for finite element solutions of variational inequalities is proposed. The bounds for controlling arbitrary functionals of the discretisation error are constructed by using a duality argument, similar to  concepts used for variational equalities. We demonstrate the applicability of our strategies to contact problems arising in highspeed machining, in particular we treat basic situations relevant for grinding and milling processes