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 On Thu, Mar 30, 2023 at 12:46 PM Bruno Lopes <br...@ic.uff.br> wrote: > 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. > > Em qui., 30 de mar. de 2023 15:45, Joao Marcos <botoc...@gmail.com> > escreveu: > >> "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 >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <logica-l@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+unsubscr...@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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjQX93%2BEE9F03MhHHw6E%3DnsJOU3HWvLCU12LMgH%3DYe73Q%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@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+unsubscr...@dimap.ufrn.br. > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-0Ge_GXj0KXz3jwjeiOVGAShA56EEBZ-2VOD_3yyRYwQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2U3VMm9RL373GSuD7Pj1qXwtM2Ej%2Be8O-xAO6FD0OKjg%40mail.gmail.com.
