https://www.fing.edu.uy/inco/congresos/ifl2025
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from
previous instances of IFL. We are grateful to prior organisers for their
work, which is reused here.
--
Elaine.
-------
Elaine Piment
alali (University of Bath)
* Delia Kesner (Université Paris Cité)
* Anela Lolic (Co-chair, TU Wien)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Anja Petkovic Komel (TU Wien)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
Mor
committee Elaine Pimentel (e.pimen...@ucl.ac.uk).
The prize will be awarded by the chair of the FoLLI board at a
ceremony during the 36th ESSLLI summer school at Ruhr University
Bochum, Germany, 28 July – 8 August 2025.
Please refer to the FoLLI webpage for more information:
https://folli.info
committee Elaine Pimentel (e.pimen...@ucl.ac.uk).
The prize will be awarded by the chair of the FoLLI board at a
ceremony during the 36th ESSLLI summer school at Ruhr University
Bochum, Germany, 28 July – 8 August 2025.
Please refer to the FoLLI webpage for more information:
https://folli.info
Delia Kesner (Université Paris Cité)
* Anela Lolic (Co-chair, TU Wien)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Anja Petkovic Komel (TU Wien)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
More TBA
GRANTS
A li
Logicians in a line:
https://www.theguardian.com/science/2025/jan/20/can-you-solve-it-logicians-in-a-line
:)
--
Elaine.
---
Elaine Pimentel
Schools Outreach Lead
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
Fantástico Renata!
Parabéns!!!
Beijos,
Elaine
On Wed, Nov 6, 2024, 12:49 Marcelo Finger wrote:
> Parabéns a Renata Wassermann ganhou o prêmio de melhor artigo (Ray Reiter
> Best Paper Award) na *International Conference on Principles of Knowledge
> Representation and Reasoning.*
>
> []s
>
> -
jfZs%3D&reserved=0>
.
If you have any questions, please send an email to kuwaitlo...@gmail.com or
rashed.ah...@ku.edu.kw
Rashed Ahmad
--
Elaine.
-------
Elaine Pimentel
Schools Outreach Lead
Associate Professor in Programming Principles, Logic, and Verification
===
Prof. Eleonora Cresto
Secretary-General DLMPS
National Council for Scientific and Technical Research (CONICET)
Institute of Philosophy, SADAF
Argentina
--
Elaine.
---
Elaine Pimentel
Schools Outreach Lead
Associate Professor in Programming Principles, Logic, and
(English version below)
Llamado para presentar propuestas de cursos
38.ª Escuela de Ciencias Informáticas - ECI 2025
Del 28 de julio al 1 de agosto de 2025
Buenos Aires, Argentina
FECHAS IMPORTANTES
3 de noviembre de 2024: Fecha límite para envío de propuestas
Enero de 2025: Notificación de ace
arXiv). The
precise link to the full version may even be provided later, during author
approval period (expected in February).
--
Elaine.
---
Elaine Pimentel
Schools Outreach Lead
Associate Professor in Programming Principles, Logic, and Verification
Department of Com
PhD Position @TU Vienna
The research group Theory and Logic, Institute of Logic and Computation of
the Vienna University of Technology, is seeking an exceptionally talented
and motivated student for a PhD position.
The 4-year position (30 hrs/week) is embedded in the AXAIS project
("Acquiring and
um prazer poder entregar esse prêmio.
Você merece mais que ninguém! E feliz aniversário, muito forte essa
conjunção de eventos :)
Abraços,
--
Elaine.
---
Elaine Pimentel
Presidente da Comissão Latino Americana da ASL
---
--
LOGICA-L
):
https://www.youtube.com/watch?v=PDpT4xJlysw
O vídeo vai ficar disponível também no canal da SBL após a realização do
evento.
Atenciosamente,
--
Elaine.
-------
Elaine Pimentel
Schools Outreach Lead
Associate Professor in Programming Principles, Logic, and Verification
Dep
Dear all,
This is a gentle reminder that WiL will take place tomorrow in Tallinn, as
part of the ICALP+FSCD+LICS conferences. Note that Estonia's time zone is
CEST+1.
You may see the program here:
https://sites.google.com/view/wil24/program
And you may register your email in advance to receive
Caros,
Muito bacana a iniciativa! Parabéns Valéria, Hugo e todas as pessoas
envolvidas.
Abraços,
Elaine
On Thu, May 23, 2024, 14:46 Valeria de Paiva
wrote:
> Eu que agradeço, Hugo! muito obrigada ao time da USP e tambem aos colegas
> que se manifestaram aqui na lista carinhosamente.
>
> abraç
6poLkG8L7Yb2tRmfHntd75%2BX70zdg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACkoYSqrySUonnHfhqys%3D6poLkG8L7Yb2tRmfHntd75%2BX70zdg%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
Elaine.
---
Elaine Pimente
Arielly de Lima (Federal University of Goiás)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
GRANTS
A limited number of travel grants is available for students/young
rese
/conferences/?conf=beth24
***The deadline is April 30, 2024.***
In case of any problems or questions please contact the chair of the
committee Elaine Pimentel (e.pimen...@ucl.ac.uk).
The prize will be awarded by the chair of the FoLLI board at a ceremony
during the 35th ESSLLI summer school in
lly de Lima (Federal University of Goiás)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
GRANTS
A limited number of travel grants is available for students/young
researchers wh
Call for Bids to Host FroCoS-ITP-TABLEAUX 2025
==
We are pleased to announce the call for proposals for hosting and
organising FroCoS-ITP-TABLEAUX 2025, on their 15th, 16th and 33rd editions,
respectively.
- FroCoS (http://frocos.cs.uiowa.edu/) is the m
iversity of Goiás)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está rec
contact the chair of the
committee Elaine Pimentel (e.pimen...@ucl.ac.uk).
The prize will be awarded by the chair of the FoLLI board at a ceremony
during the 35th ESSLLI summer school in Leuven, Belgium, 29 July - 9 August
2024.
Beth dissertation prize committee 2024 (More TBA):
Guy Emerson (University
.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e
rsité)
Alessandra Palmigiano (VU Amsterdam)
Xavier Parent (TU Wien)
Elaine Pimentel (UCL)
Vit Punčochář (Institute of Philosophy, Czech Academy of Sciences)
Revantha Ramanayake (University of Groningen)
Renate A. Schmidt (The University of Manchester)
Igor Sedlár (Czech Academy of Sciences)
Ilya Shapirovsky
não saiu o cfp, mas assim que for publicado a gente atualiza por aqui.
Abraços,
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com
s (Co-chair, University of Brasília/Imperial College)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
* Thaynara Arielly de Lima (Federal University of Goiás)
* More TBA
--
LOG
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce
vote between all received bids.
FroCoS-ITP-TABLEAUX Steering Committees
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site
sche Universität Wien)
Karen Lange (Wellesley College)
Florin Manea (University of Göttingen)
Alexander Melnikov (Victoria University of Wellington)
Alberto Naibo (Université Paris 1 Panthéon-Sorbonne)
Ludovic Patey (CNRS, Université Paris-Cité co-Chair)
Elaine Pimentel (University College London co-c
map.ufrn.br/d/msgid/logica-l/d0ecd389-907f-4705-aa47-38bf78f7b630n%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University Colle
imensoes do sistema de categorias.
>
> Quanto a utilizar Informacao referente as referidas categorias para
> Excluir individuos, isto eh Discriminacao, um tipo de violencia
> absolutamente abominavel!
> Mas este eh justamente o ponto fulcral de minha argumentacao!!
>
> Tudo de bom,
ap.ufrn.br/d/msgid/logica-l/CAGi1dG7EqqZU185P%2B6nN-Bi7RGYhV-ErgOi6VS9Xx_VO5pEiWQ%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem por
suas bases devem ser revistas :)
Abraços,
>
>
> Em sex., 29 de dez. de 2023 06:20, Elaine Pimentel <
> elaine.pimen...@gmail.com> escreveu:
>
>> Caro Wagner,
>>
>> Eu não estou assumindo nada sobre quem fez o parecer e a nota, além de
>> que são desprep
tade dos colegas das Ifes votou
> no Valdemort.
> A falha foi do comitê que devia ter jogado o parecer fora e pedido outro.
> Alguns colegas daqui já pertenceram aos comitês ...
>
> Saudações,
>
> Wagner Sanz
>
> -- Forwarded message -
> De: Elaine P
Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf2HFsVeDV-EWUkt_S-r4S_gP43Jkcp%2B
e da Coruña)
Timo Lang (Technische Universität Wien)
Karen Lange (Wellesley College)
Florin Manea (University of Göttingen)
Alexander Melnikov (Victoria University of Wellington)
Alberto Naibo (Université Paris 1 Panthéon-Sorbonne)
Ludovic Patey (CNRS, Université Paris-Cité co-Chair)
Elaine Pime
s direitos fundamentais ou ao
adequado exercício da profissão das pessoas envolvidas.
Abraços acadêmicos,
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College Lo
Oi, João!
Ótima iniciativa!!
Se depois você quiser divulgar os seus achados na página da SBL seria super
bem vindo!
Abraços,
Elaine.
On Thu, Nov 16, 2023, 13:29 Joao Marcos wrote:
> PessoALL:
>
> Por razões pedagógicas, estive buscando por exercícios de _tradução_
> entre "a" linguagem natur
p, including:-
Benedikt Ahrens
Rajesh Chitnis
Anupam Das
Martín Escardó
Eric Finster
Dan Ghica
Mirco Giacobbe
Paul Levy
Sonia Marin
Sean Moss
Jakub Opršal
Vincent Rahli
Uday Reddy
Eike Ritter
--
Elaine.
---
Elaine Pimentel
Associate Professor in
-
Questions?
-
Further information on the stipend: http://www.vcla.at/helmut-veith-stipend
Please do not hesitate to contact mas...@logic-cs.at
--
Elaine.
-
PhD Studentship in Proof-theoretic Semantics at UCL
- Supervisors: David Pym (UCL CS and Philosophy), Elaine Pimentel (UCL CS),
Tim Button
(UCL Philosophy)
- Research group: Programming Principles, Logic, and Verification (PPLV)
- Project website:
https://ucl-epsrc-dtp.github.io/2024-25
ury chair)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Lo
position Bochum-Luxemburg to
jobs-log-phi...@ruhr-uni-bochum.de.
https://www.ruhr-uni-bochum.de/lodex/post/10-10-23-cfa-phds/
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University
ngen)
Alexander Melnikov (Victoria University of Wellington)
Alberto Naibo (Université Paris 1 Panthéon-Sorbonne)
Ludovic Patey (CNRS, Université Paris-Cité co-Chair)
Elaine Pimentel (University College London co-chair)
Cristóbal Rojas (Universidad Católica)
Viola Schiaffonati (Politecnico di Milano)
Faço aqui coro com Marcelo e João: Parabéns Décio, Raoni e Jonas!
Abraços,
Elaine.
On Thu, Sep 7, 2023, 16:03 João Ferrari wrote:
> Volume incrível, parabéns pelo trabalho!
>
> Abração,
> João F.
>
> Em qui., 7 de set. de 2023 às 11:36, Marcelo Esteban Coniglio <
> conig...@unicamp.br> escreve
nbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHyDnbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
Elaine.
---
; *History
> of Science.*
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e
Hola!
Esse é bem o histórico dos encontros de Bohum, agora sendo exportado para
encontros em Toruń...
Eu já reclamei uma vez, acho que vale a pena reclamar outra vez. E outra, e
outra, até que as pessoas entendam.
Enfim. Cansa!
Abraços exaustos,
Elaine.
On Thu, Jul 20, 2023, 19:31 Valeria de
AIES '21). Association for Computing Machinery, New
York, NY, USA, 287–297.
https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3461702.3462563__;!!IBzWLUs!QFsiN2shszwTOAfSiLdo4ubitrIfzKy3H0bH74n3GlyoFA8ewf5KTtXKC979RO81CCHS4BTRkfN5E90CD_DWrWCMGoK7mBa4tUBOABK5$
--
Elaine.
By Justin Weinberg, July 10, 2023
https://dailynous.com/2023/07/10/logic-courseware-surveyed/
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https
-- Forwarded message -
From: MOSAIC MSCA-RISE
Date: Fri, Jun 30, 2023, 13:28
Subject: Postdoc position in algebra and logic
To: MOSAIC MSCA-RISE
FYI
--
Dear colleagues,
We have a last-minute opportunity for a postdoctoral position (up to 10
months, starting from September) at
Já "twittei" 😊
Vai ser super bacana! Beijo grande,
Elaine.
On Mon, Jun 12, 2023, 16:48 Gisele Secco wrote:
> Oi gente!
> Se puderem divulgar, aí vai um cartazinho.
> Obrigada,
> G.
>
> On Mon, Jun 12, 2023 at 7:37 AM Marcos Silva
> wrote:
>
>> Car@s,
>>
>> Nesta quarta, 14/6, às 18hs, no cana
--
Further information on the stipend: http://www.vcla.at/helmut-veith-stipend
Please do not hesitate to contact mas...@logic-cs.at
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Depart
br/d/msgid/logica-l/803beb78-3a75-41a9-9d5b-cc455d5aa61fn%40dimap.ufrn.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/803beb78-3a75-41a9-9d5b-cc455d5aa61fn%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
> .
>
--
Elaine.
---
Elaine P
ink_origin=bbcbrasil
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---
--
LOGICA-
/prooftheory/event/tps2023/
Confirmed tutorial speakers:
•Albert Atserias (Technical University of Catalonia)
•Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of
Sciences)
•Eduardo Hermo Reyes (Formal Vindications SL)
•Elaine Pimentel (University College London)
•Sara
nd
a JSPS core-to-core project.
ORGANISING COMMITTEE
Klaus Mainzer
Peter Schuster
Helmut Schwichtenberg
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
veiro, PT)
Aybüke Özgün (U Amsterdam, NL)
Eric Pacuit (U Maryland, USA)
Alessandra Palmigiano (VU Amsterdam, NL)
Elaine Pimentel (UCL, UK)
Carlo Proietti (NRC, IT)
Vít Punčochář (CAS, Prague, CZ)
Rasmus Rendsvig (U Copenhagen, DK)
Mehrnoosh Sadrzadeh (UCL, UK)
Igor Sedlár (CAS, Prague, CZ)
Sonja
ação local, e obter isenção da taxa da inscrição.
O prazo é 30 de abril. Maiores informações em
https://clmpst2023.dc.uba.ar/registration
Abraços porteños,
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Dep
Colegas,
Gostaríamos de agradecer a todas as pessoas que contribuíram com a anuidade
de 2023.
Vamos fornecer em breve com a prestação de contas juntamente com a
divulgação do montante a ser destinado à participação de estudantes em
eventos científicos.
Aproveitamos para anunciar que a 2a chamada
Colegas,
Conforme a portaria 02/2023/SBL, de 01 de abril de 2023, anunciamos que
houve apenas uma chapa inscrita para as eleições da SBL. A elegibilidade
dos seguintes membros da chapa for verificada:
Presidente: Hugo Luiz Mariano (USP)
Departamento de Matemática - Instituto de Matemática e Es
Colegas,
Desde 2022, a iniciativa Lógicas Brasileiras, em parceria com a Sociedade
Brasileira de Lógica, organiza o Dia Carol Blasio, com ações conjuntas pela
popularização e pela diversificação do campo da Lógica em nosso país (
https://logicasbrasileiras.wordpress.com/dia-carol-blasio/).
Escolh
Colegas,
A SBL se junta à SBPC e apoia a proposta de um Dia Nacional de Repúdio à
ditadura.
Os principais pontos são: 1) iniciativa da sociedade civil, não dependendo
de lei ou de ação do governo ou do Congresso, que até podem se seguir, mas
dos quais não pode depender a proposta; 2) intensa ativ
SBL (pelo SPAM).
Atenciosamente,
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel
mail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjhJNbx_7wv4fA1%3D8TQ0BrU-wJ_SOfBi7YnR1xDejNNJw%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programm
t;>> Para ver essa discussão na Web, acesse
>>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQkowCWAW3WsdYOk%2BMG-3HcwXxnU5o%2BvO3RvKxpB8jAQLw%40mail.gmail.com
>>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQkowCWAW3WsdYOk%2BMG-3Hc
r/d/msgid/logica-l/CAOrCsLdsdjwujuHNcJYLwFvzuY%3DEYG6NKRGKgg_pqD9J3otJpg%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem por
a discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzJZUoZWu4Nga3_tMbQcPZYiu9UOFe%3DbGS0vJZyBA88g7g%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzJZUoZWu4Nga3_tMbQcPZYiu9UOFe%3DbGS0vJZyBA88g7g%40mail
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---
--
LOGICA-L
Lista acadêmica brasileira dos profi
imap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfZSqMb418ac-0YDGr_q-cUWGFmwKU2PESkzRes03EDCQ%40mail.gmail.com
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verifica
roadcasted live but not recorded.
Best regards,
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elai
e.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG6hsDaR99ZYW_J1O87FM3%2BP47%3D1c3
023.
Best regards,
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---
--
unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pz%2Baac-bgrK84zJAfKWKiihhd_MVZPeObk7TPJYqp9QCVw%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pz%2Baac-bgrK84zJAfKWKiihhd_MVZPe
Holas!
Segue a notícia:
https://www.timeout.fr/paris/actualites/un-musee-des-mathematiques-va-ouvrir-en-2023-010423
Abcs,
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
n
Erickson, José Henrique Franco, Lídia Batinga e Elaine Pimentel. Se você
quiser deixar a sua colaboração, basta nos enviar o vídeo, não há prazo
limite.
A iniciativa está listada na página do WLD 2023, organizado pelo CIPSH:
https://wld.cipsh.international/wld2023.html
Abraços lógicos,
A
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcorRzn1es45%3DhgLdmsPR80UeNPqnnCsAM9F4L1q6FThw%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcorRzn1es45%3DhgLdmsPR80UeNPqnnCsAM9F4L1q6FThw%40mail.gmail.com?utm_medium=email&utm_source=footer>
> ---
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
&
upo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACLX7-fLJ-fw16YtyPK14HP69y6hzFFv848sQ0Sso3GhtbRdUQ%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/
ista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> 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
f The Branco Weiss Fellowship at brancoweissfellows...@ethz.ch.
We would be very happy to welcome a young scientist from your university to
our fellowship.
Kind regards
Detlef Günther
Vice President for Research, ETH Zurich
Patron of the Branco Weiss Fellowship
--
Elaine.
----
Colegas,
Imensa alegria em ver os nomes de Valeria e Ítala nessa lista :)
https://www.uol.com.br/tilt/noticias/redacao/2020/03/10/bruna-marquezine-e-anitta-lideram-lista-de-mulheres-mais-buscadas-na-web.htm
Abraços,
--
Elaine.
---
Elaine Pimentel
Associate
https://www.quantamagazine.org/how-to-prove-you-know-a-secret-without-giving-it-away-20221011/?fbclid=IwAR1v9lvqdJdDvQdb_cxE6y7H1Zpyj5eolLxhSIca5mj04BlpcBnbXH930aw
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and
Ah, que fantástico!
Muitos parabéns mesmo, Evelyn!
Abraços,
Elaine
On Sat, Oct 15, 2022, 19:36 Joao Marcos wrote:
> Agora também com o prêmio de melhor tese na ANPOF! Evelyn está de muitos
> parabéns.
>
> JM
>
> On Fri, Aug 12, 2022, 13:34 Daniel Durante wrote:
>
>> Viva!!
>>
>> Obrigad
.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---
--
LOGICA-L
Lista acadêmica brasileira dos
Mensagem do Carlos Areces. Me parece uma ótima oportunidade!
Abraços,
Elaine.
-- Forwarded message
Dear all,
Hi! We are involved in the organization of an interesting event early
next year, and the deadline for application is getting close. We noticed
that not many people from
11d9a5c2%7C0%7C0%7C637995039886934902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000%7C%7C%7C&sdata=fReXwU1U%2BGSw0PtPeAwcaV73A2ILAGoiLvxnSXO9xA8%3D&reserved=0>
--
Elaine.
---
Elaine Pimentel
Associate Professor in
7C01%7Ce.pimentel%40ucl.ac.uk%7C20d900d13b284be0f38708da9c5bfc9c%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C637994216145039641%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=e21nHKzB1EMJJ60xesMM157ypOpqQutgGL0JIXOdeSM%3D&reserved=0>
--
Elaine.
--
Oi, Marcos!
Muito massa a live, estaremos lá!
Abraços,
Elaine
On Tue, Sep 20, 2022, 22:54 Marcos Silva wrote:
> Favor ajudar a divulgar, se possível
>
> "Nesta Live especial pré-eleições, o Coletivo Lógica VIVA recebe a querida
> professora e matemática Manoela Souza (UFBA), do Grupo Matemáti
Prezados colegas,
Começa hoje o WoLLIC 2022.
O evento, que vai ser na Romênia, terá um formato semi-hibrido, transmitido
por Zoom.
Em particular, os proceedings terão "open access" durante o período da
conferência, basta acessar pela página do evento.
Maiores informações abaixo.
Atenciosamente
t; LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> 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
Joia, Marcelo!
Bora coletar esses dados e deixar registrado!
É super importante, e super bacana também
Parabéns novamente, nossa, estou super feliz!!! 😊😊
Abraços,
Elaine
On Fri, Aug 12, 2022, 07:30 Marcelo Esteban Coniglio
wrote:
> Excelente notícia!! parabéns para a Evelyn e para o Dan
Que grande notícia 🎉🎉🎉
Parabéns, Evelyn! Parabéns Daniel!
Acho que é uma ótima ideia colocar na página da SBL os prêmios de teses em
Lógica. Tivemos há um tempo atrás a Giselle Secco. Quem tiver informações
de anos anteriores, por favor, nós envie a informação?
Obrigada.
Parabéns novamente,
The Brazilian Logic Society (SBL) announces the 2022 edition of the "Newton
da Costa Logic Award".
DESCRIPTION
This Logic Award honors the academic career and the original scientific and
philosophical contributions of Prof. Newton da Costa, founding member and
first president of SBL. Newton da C
C&sdata=yTaSqDnecH8RO%2F2GBMQRWOU06Dqf4fdNheX4jX74COY%3D&reserved=0>
Atenciosamente,
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sit
ndia)
Filip Murlak (University of Warsaw, Poland)
Daniele Nantes (University of Brasília, Brazil)
Elaine Pimentel (UCL, UK, co-chair)
Paolo Pistone (University of Bologna, Italy)
Ana Sokolova (University of Salzburg, Austria)
Lutz Straßburger (Inria Saclay – Île-de-France, France)
Pascal Schweitzer
, Poland)
Daniele Nantes (University of Brasília, Brazil)
Elaine Pimentel (UCL, UK, co-chair)
Paolo Pistone (University of Bologna, Italy)
Ana Sokolova (University of Salzburg, Austria)
Lutz Straßburger (Inria Saclay – Île-de-France, France)
Pascal Schweitzer (TU Darmstadt, Germany)
Martin Zimmermann
br/d/msgid/logica-l/CALqiGqU3UXkcP_YR9cMdb7mTcaMEjH60eD0Xz0pYt1EuUGbOSA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALqiGqU3UXkcP_YR9cMdb7mTcaMEjH60eD0Xz0pYt1EuUGbOSA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
Elaine.
---
Celebrating the 50th anniversary of Prolog:
https://prologyear.logicprogramming.org/PrologYear.html
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
1 - 100 de 277 matches
Mail list logo
