Via the proper-time eigenstates (event states) instead of the proper-mass eigenstates (particle states), free-motion time-of-arrival theory for massive spin-1/2 particles is developed at the level of quantum field theory. The approach is based on a p