Proc. Int. Workshop Formal Methods and Manufacturing