Title 1 (14:00 – 14:45):  Ultraproducts in logic and group theory
Abstrac. Ultraproducts in logic and group theory Abstract: I will introduce logic for metric structures, the notion of ultraproduct in this setting and their relations with the subject of sofic and hyperlinear groups. No specific background in logic will be assumed.

Title 2 (15:00 – 15:45):  On the number of universal sofic and hyperlinear groups
Abstract. I will present the main ideas and techniques of the proof, obtained by means of logic for metric structures, that there are consistently power of the continuum many pairwise non isomorphic universal sofic and hyperlinear groups. This answers a question from 2010 of Simon Thomas, who proved this statement for universal sofic groups with an ad hoc algebraic argument, and asked if the same was true for universal hyperlinear groups.