Post-Quantum Crypto Mini-School 2020