diff --git a/doc/presentation/workshop-sha2017.pdf b/doc/presentation/workshop-sha2017.pdf index acd9c3d2..cf9893eb 100644 Binary files a/doc/presentation/workshop-sha2017.pdf and b/doc/presentation/workshop-sha2017.pdf differ