Dynamics in Logic, 3 May