František Nečas Applying formal methods to analysis of semantic differences between versions of software
Ondřej Havlíček Muscle interaction in the context of muscle deformation modelling by a Position Based Dynamics method