Fantástica! Parabéns, Valéria. Beijos,
Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- On Sun, Aug 10, 2025, 21:31 Valeria de Paiva <[email protected]> wrote: > Muito obrigada pelo 'shout-out', Joao Marcos!! > abs, > Valeria > > On Sun, Aug 10, 2025 at 6:44 AM Joao Marcos <[email protected]> wrote: > >> >> https://mujeresconciencia.com/2025/07/30/valeria-de-paiva-la-matematica-que-tiende-puentes-entre-la-semantica-y-la-informatica/ >> >> >> JM >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >> dos Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para [email protected]. >> Para ver esta conversa, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhn9NniqTc5i%3Djpjjb1hiEKhcr1%2BVh6mW%3D_O8O%3DovraCA%40mail.gmail.com >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuQGnk5_9Vi_SZ7tuwENbOrhDDR4EYOqu8hGG57ZxeA9A%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuQGnk5_9Vi_SZ7tuwENbOrhDDR4EYOqu8hGG57ZxeA9A%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWCgqfx_hNVPY%3Dwsx3FD_uR6JVYtNb%3DZ7u4RoX1d_jumg%40mail.gmail.com.
