1 “..., certification of approximate roots of overdetermined and singular polynomial systems via the recovery...”

2 Table of Contents: “...Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk...”

3 Table of Contents: “... Certification and Independent Spanning Trees: An Experimental Study.- Novel Techniques for Automorphism Group...”

4

5 Table of Contents: “...-based Cryptography with Invisible Ink -- Read-once certificates of linear infeasibility in UTVPI...”

6 Table of Contents: “... method with an exact solution certificate and spatio-parameter adaptivity: application to linear...”

7 Table of Contents: “... and Circuit Minimization -- A Tight Lower Bound on Certificate Complexity in Terms of Block Sensitivity...”

8 Table of Contents: “... Structures in the Minimum Certificate Dispersal Problem -- GraphDrawing -- Coordinate Assignment for Cyclic...”

9 Table of Contents: “...) -- On Learning, Lower Bounds and (un)Keeping Promises -- Certificates in Data Structures -- Optimal Query...”

10 Table of Contents: “... and Positivity Certificates for the Bernstein Dual Petrov–Galerkin Method -- A. Burqan, A. Sarhan and R. Saadez...”