Reviewing the submitted papers has finished, and we selected a good number of high quality ones for presentation at the workshop. The resulting program can be found here. Registration for the workshop is also possible now: take advantage of the "early bird" registration which ends 1 April. Come and join us at FormaliSE in Buenos Aires!