[Random] Reminder: An afternoon on the spectral theory of pseudo-differential operators