Don't have Telegram yet? Try it now!
https://cstheory-events.org/2019/04/10/hilbert-bernays-summer-school-on-logic-and-computation-2019/
Hilbert-Bernays Summer School on Logic and Computation 2019