Verónica Becher gives a highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL’2017 of European Association for Computer Science Logic; Stockholm University, August 20, 2017.Verónica Becher donne un « highlight talk » au session conjointe du Logic Colloquium 2017 et 26th Conference on Computer Science Logic CSL’2017 du European Association for Computer Science Logic; Université de Stockholm, 20 août 2017.Verónica Becher dictará una « highlight talk » en la sesión conjunta del Logic Colloquium 2017 y el 26th Conference on Computer Science Logic CSL’2017 de la European Association for Computer Science Logic; Universidad de Estocolmo, 20 de agosto de 2017.