diff -r 9f5d825580b7 -r 18a6039148df Nominal/activities/nominal-popl11/announcement.pdf Binary file Nominal/activities/nominal-popl11/announcement.pdf has changed