duas décadas de LOGICA-L

[O Administrador da LOGICA-L]

As histórias se devem contar, antes que as tenhamos que reviver.  Neste dia em que na Argentina se comemora a Memória, a Verdade e a Justiça (50 anos do início da última e mais sangrenta ditadura ---"Proceso de Reorganización Social"--- que sofreram nossos hermanos), registro meus parabéns a todos os que estiveram envolvidos em fazer da LOGICA-L o importante fórum (livre!) em que esta se tornou, no Brasil e no mundo, ao longo dos últimos 20 anos!

O Administrador da LOGICA-L

[Gilberto Gomes]

Parabéns!

Em ter., 24 de mar. de 2026 às 19:20, O Administrador da LOGICA-L <logica-...@dimap.ufrn.br> escreveu:

As histórias se devem contar, antes que as tenhamos que reviver.  Neste dia em que na Argentina se comemora a Memória, a Verdade e a Justiça (50 anos do início da última e mais sangrenta ditadura ---"Proceso de Reorganización Social"--- que sofreram nossos hermanos), registro meus parabéns a todos os que estiveram envolvidos em fazer da LOGICA-L o importante fórum (livre!) em que esta se tornou, no Brasil e no mundo, ao longo dos últimos 20 anos!

O Administrador da LOGICA-L

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjVn8UECZKWr%2BTM12hTF6uLLtYUbwjYvxNhd6Ls%2B8jGtA%40mail.gmail.com.

[Elaine Pimentel]

Fantástico, João!

Parabéns a você e a todas as pessoas que fizeram/fazem parte dessa jornada incrível!

Abraços,

On Tue, 24 Mar 2026 at 22:20, O Administrador da LOGICA-L <logica-...@dimap.ufrn.br> wrote:

As histórias se devem contar, antes que as tenhamos que reviver.  Neste dia em que na Argentina se comemora a Memória, a Verdade e a Justiça (50 anos do início da última e mais sangrenta ditadura ---"Proceso de Reorganización Social"--- que sofreram nossos hermanos), registro meus parabéns a todos os que estiveram envolvidos em fazer da LOGICA-L o importante fórum (livre!) em que esta se tornou, no Brasil e no mundo, ao longo dos últimos 20 anos!

O Administrador da LOGICA-L

--

LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjVn8UECZKWr%2BTM12hTF6uLLtYUbwjYvxNhd6Ls%2B8jGtA%40mail.gmail.com.

--

Elaine. 

-----------------------------------

Elaine Pimentel

Schools Outreach Lead

Professor of Logic and Computation

Deputy Director of the Computer Science and Philosophy programme

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

UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024

-----------------------------------

[Marcelo Finger]

Parabéns João.

Eu sei que a comunidade é que deveria receber esses parabéns, mas você capitaneou os esforços para chegarmos até aqui!

Abraços

On Tue, Mar 24, 2026 at 7:20 PM O Administrador da LOGICA-L <logica-...@dimap.ufrn.br> wrote:

As histórias se devem contar, antes que as tenhamos que reviver.  Neste dia em que na Argentina se comemora a Memória, a Verdade e a Justiça (50 anos do início da última e mais sangrenta ditadura ---"Proceso de Reorganización Social"--- que sofreram nossos hermanos), registro meus parabéns a todos os que estiveram envolvidos em fazer da LOGICA-L o importante fórum (livre!) em que esta se tornou, no Brasil e no mundo, ao longo dos últimos 20 anos!

O Administrador da LOGICA-L

--

LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjVn8UECZKWr%2BTM12hTF6uLLtYUbwjYvxNhd6Ls%2B8jGtA%40mail.gmail.com.

--

Marcelo Finger
 Departament of Computer Science, IME-USP   
 http://www.ime.usp.br/~mfinger

 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática, Estatística e Ciência da Computação

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

[Walter Carnielli]

Parabéns ao João e a toda a nossa comunidade — mas eu realmente
parabenizo o João pela iniciativa, há 20 anos, de organizar a lista da
forma que ela tem conseguido sobreviver!

Abraços,
Walter

Em ter., 24 de mar. de 2026 às 16:18, Gilberto Gomes
<ggomes...@gmail.com> escreveu:

> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABFfDvWjyv-fgHN%2B9uddBNp-FS5ZciK7Gcotc2iyidRnvDbzfg%40mail.gmail.com.



--
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/

[Eduardo Ochs]

Caraca! 20 anos, já?
Parabéns pro João e parabéns pra todos nós! =)
  [[]],
    E. ...

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 logica-l+u...@dimap.ufrn.br.

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeXTYugHe43GgUm7QgfV2yhBev2eCWaAcY%2B68GqCZ4r1w%40mail.gmail.com.