mapeamento da comunidade de Métodos Formais no Brasil

27 views
Skip to first unread message

Joao Marcos

unread,
Mar 30, 2023, 10:45:19 AM3/30/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
"O objetivo deste formulário é produzir um mapeamento atualizado da comunidade de Métodos Formais no Brasil."
https://docs.google.com/forms/d/e/1FAIpQLSeTs_eOl7a9CoOVc8oPTyN8_RywMOzAmWkSBrR-2XJSGREzRw/viewform
O formulário pode ser respondido até amanhã.

(agradeço a Karina Roggia por me chamar a atenção para isso)

JM

Bruno Lopes

unread,
Mar 30, 2023, 11:46:56 AM3/30/23
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Uma pergunta sincera (não, não é provocativa): a comunidade de métodos formais considera lógicos como parte dela? Minha impressão (que pode estar errada) é de que não.

Abraços,

Bruno.

--
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 essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjQX93%2BEE9F03MhHHw6E%3DnsJOU3HWvLCU12LMgH%3DYe73Q%40mail.gmail.com.

Eduardo Ochs

unread,
Mar 30, 2023, 11:53:50 AM3/30/23
to Bruno Lopes, Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Eu entendi que esse formulário era pra todas as pessoas com algum
interesse por métodos formais...

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-0Ge_GXj0KXz3jwjeiOVGAShA56EEBZ-2VOD_3yyRYwQ%40mail.gmail.com.

Marcelo Finger

unread,
Mar 30, 2023, 4:27:44 PM3/30/23
to Bruno Lopes, Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Bruno.

V confundiu a comunidade de métodos formais com outra, a de métodos informais.

Não fiquei com a impressão de que o formulário discriminava os lógicos.  Nem a semântica, nem a teoria da prova e, pasmem, nem a teoria de categorias ...

[]s


Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-0Ge_GXj0KXz3jwjeiOVGAShA56EEBZ-2VOD_3yyRYwQ%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 e Estatística,

Universidade de São Paulo

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

Karina Roggia

unread,
Mar 30, 2023, 4:29:01 PM3/30/23
to Bruno Lopes, Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Creio que a situação é de possível intersecção, não necessariamente subconjunto. =)

On Thu, Mar 30, 2023 at 12:46 PM Bruno Lopes <br...@ic.uff.br> wrote:
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-0Ge_GXj0KXz3jwjeiOVGAShA56EEBZ-2VOD_3yyRYwQ%40mail.gmail.com.

Bruno Bentzen

unread,
Mar 31, 2023, 8:50:26 AM3/31/23
to LOGICA-L, Joao Marcos
Bacana! Mas uma pena que a parte de unidade federativa do formulario nao acomode brasileiros da comunidade de metodos formais que estao atualmente trabalhando fora do Brasil :)

Abracos,
Bruno

Reply all
Reply to author
Forward
0 new messages