Logic and asymptotic combinatorics of Graph Neural Networks - FOAM Seminar