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_source=footer>
> .
>
--
Elaine.
---
Elaine Pimentel
Associat
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
researche
/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
e 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 who
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
ersity 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á recebend
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
)
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 (New
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
-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
--
LOGICA-L
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/85ce70ba-9
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
a/dimap.ufrn.br/d/msgid/logica-l/d0ecd389-907f-4705-aa47-38bf78f7b630n%40dimap.ufrn.br?utm_medium=email_source=footer>
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College Lon
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,
Gi1dG7EqqZU185P%2B6nN-Bi7RGYhV-ErgOi6VS9Xx_VO5pEiWQ%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem porque está inscrito
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_gP43Jkc
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
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.
---
Elaine Pimentel
Associate Professor in Programmi
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
hair)
--
[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, Logi
for the 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>
LzUkyjHPk8qj-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_source=footer>
> .
>
--
Elaine.
ience.*
>
> --
> 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-
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
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)
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
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
Department of Computer Science
University College London
http
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_source=footer>
> .
>
--
Elaine.
---
Elaine Pimen
.
---
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 estudantes da
/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
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
https://s
, 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 Smet
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
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
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
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/).
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
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_source=footer>
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming
ps.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-3HcwXxnU5o%2BvO3RvKxpB8jAQLw%40mail.gmail.com?utm_medium=ema
sdjwujuHNcJYLwFvzuY%3DEYG6NKRGKgg_pqD9J3otJpg%40mail.gmail.com?utm_medium=email_source=footer>
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem porque está inscrito no
sã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.gmail.com?utm_medium=email_
.
---
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
er 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 Verification
Department of Comput
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%3D1c3r4P7_8YmFo5Der5A%40mail.gmail.com
&g
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/
---
--
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/CAGZ3pz%2Baac-bgrK84zJAfKWKiihhd_MVZPeObk7TPJYqp9QCVw%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pz%2Baac-bgrK84zJAfKWKiihhd_M
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
s://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_source=footer>
> .
&g
> 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
&g
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/logica-l/CACL
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 logica-l+unsubscr...
owship 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.
---
Elaine Pimentel
Ass
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
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!!
>>
>>
.
---
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
34902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000%7C%7C%7C=fReXwU1U%2BGSw0PtPeAwcaV73A2ILAGoiLvxnSXO9xA8%3D=0>
--
Elaine.
-------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University Co
a9c5bfc9c%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C637994216145039641%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C=e21nHKzB1EMJJ60xesMM157ypOpqQutgGL0JIXOdeSM%3D=0>
--
Elaine.
---
Elaine Pimentel
Associate Professor in
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
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.
t; 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-mail para logica-l
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
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
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
ata=yTaSqDnecH8RO%2F2GBMQRWOU06Dqf4fdNheX4jX74COY%3Dreserved=0>
Atenciosamente,
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.co
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
id/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_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
@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQnnVf62EBmq0bYXRAaSktV1K0fsbdBBmP7S7F2BGYGxrQ%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA
sa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc9J5JPWvr28efK4nOhQ27A4oS%3DeJhH-9LGMUt5%2BdZdEA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc9J5JPWvr28efK4nOhQ27A4oS%3DeJhH-9LGMUt5%2BdZdEA%40mail.gmail.c
anywhere on Earth.
>
> ORGANIZING AND PROGRAM COMMITTEE
> * Maria Aloni (University of Amsterdam)
> * Sandra Alves (Co-chair, University of Porto)
> * Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de
> México)
> * Amy Felty (University of Ottawa)
> * Sandra
esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FR1PR80MB533810EC6C1AEB8A13CDB98AC9FC9%40FR1PR80MB5338.lamprd80.prod.outlook.com
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles
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/CPYP284MB14311CFC889A614386B5754AB6FC9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM
> <https://gro
)
Larry Moss (Indiana University Bloomington)
Valeria de Paiva (Topos Institute and PUC-Rio)
Elaine Pimentel (University College London) (Co-Chair)
Revantha Ramanayake (University of Groningen)
Mehrnoosh Sadrzadeh (University College London)
Alexandra Silva (Cornell University)
Alex Simpson
nstitute of Mathematical Sciences, HBNI, India)
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
ustralian National University)
Roman Kuznets (Technische Universität Wien)
João Marcos (Univ Federal do Rio Grande do Norte)
Larry Moss (Indiana University Bloomington)
Valeria de Paiva (Topos Institute and PUC-Rio)
Elaine Pimentel (University College London) (Co-Chair)
Revantha Ramanayake (Unive
Parabens, Ciro!
Super merecido!
Abraços,
Elaine
On Fri, Apr 8, 2022, 18:35 jean-yves beziau wrote:
> https://sites.google.com/view/unilog-2022/7th-congress/logic-prizes
> JYB, Founder and Organizer of the World Logic Prizes Contest
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos
to offer financial aid to
Ukraine to help our colleagues and the Voices of Children. We invite
academic institutions and organizations to sponsor this online logic event.
--
Elaine.
---
Elaine Pimentel
https://sites.google.com/site/elainepimentel/
Kindness generates
r 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/CANspyYVSG_GwSdcv3EdVeZZhvioLe_aJ18RSyBufZVXAsDwUHw%40mail.gmail.com
> <https://groups.google.com
grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhYtW8kwS826uH4AUzdgACsG7VNuTOoFaM3_0hkfb%3Df%3Dg%40mail.gmail.com
> .
verdadeiramente emocionados,
Elaine.
On Sun, Mar 20, 2022, 11:27 Joao Marcos wrote:
> Eis mais uma iniciativa fantástica de Gisele Secco, Valeria de Paiva e
> Elaine Pimentel, com a contribuição de muitos colegas e amigos, que eu
> gostaria de compartilhar mais amplamente aqui!
>
>
Prezados colegas,
Vem aí a segunda edição do livro "Introdução à Lógica", do colega Cezar
Mortari.
http://editoraunesp.com.br/blog/-introducao-a-logica-2-edicao-ganha-reimpressao-?utm_source=akna_medium=email_campaign=298
Abraços,
--
Elaine.
-------
Elain
Second Call for Applications
The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training
programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien,
co-funded by the European Commission, offers *10* full-time PhD positions.
The program is hosted by TU Wien, one of
CSL’23 -- CALL FOR WORKSHOPS
Computer Science Logic 2023 (CSL’23) will be held in Warsaw, Poland,
between 13 and 16 February 2023. Following the long tradition of this
event, we invite researchers and practitioners to submit proposals for
co-located workshops on topics relating to mathematical
estimulada.
Organização
===
Organizador Geral: Marlo Vieira dos Santos e Souza (UFBA)
Organizadoras do Comitê de Programa: Cláudia Nalon (UnB) e Elaine Pimentel
(UFRN)
Apoio local
===
Bruno Lopes (UFF)
Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos
1 - 100 de 248 matches
Mail list logo