1 INTRODUCTION

2 DATA SETS AND SIMULATIONS  
2.1 Observations - DES Y1 redMaGiC catalogues  
2.2 Observations - Planck CMB lensing  
2.3 Simulations - the MICE galaxy mock and κ map  

3 VOID CATALOGUES  
3.1 A 2D void finder optimized for photo z data  
3.2 VIDE voids in 3-dimensional photo z data  
3.3 Cosmic void properties in the MICE galaxy mocks  
3.4 DES Y1 catalogues compared to simulations  

4 SIMULATED CROSS-CORRELATION ANALYSES  
4.1 Stacking κ maps on void positions  
4.2 Simulated analyses with noise in the κ map  
4.3 Amplitude fitting  
4.4 Optimization of the measurement  

5 RESULTS FOR OBSERVATIONS: DES Y1 × PLANCK  
5.1 2D voids  
5.2 VIDE voids  
5.3 Testing the role of the input cosmology  

6 DISCUSSION & CONCLUSIONS