Lecture 6: Bayesian Inference in SDE Models - Problem Formulation