Obrigada a todos! Eu fiquei feliz com o resultado da eleição, o qual acredito é também reconhecimento pelo trabalho que muitos dos que estão nessa lista fizeram nos últimos anos para que a lógica brasileira, em particular a área de raciocínio automatizado, tenha a devida visibilidade.
Sobre o texto, vale o que está escrito: quem tiver interesse em discutir aspectos relacionados à amplicação da automação de lógicas não-clássicas, entre contato comigo e com o Alex. Abraços, C. On Wednesday, November 10, 2021 at 11:16:50 AM UTC-3 it...@unicamp.br wrote: > Parabéns, Cláudia! > Temos certeza que você terá um papel fundamental no CADÊ. > Itala > > Em qua., 10 de nov. de 2021 às 08:46, Haniel Barbosa <hanielb...@gmail.com> > escreveu: > >> Parabéns, Claudia! Muito merecido! >> >> Abraço, >> >> Marcelo Finger <mfi...@ime.usp.br> writes: >> >> > Parabéns Claudia. >> > >> > É um passo importante termos alguém nos representando acostumada a >> > expressar nossa opinião. >> > >> > []s >> > >> > >> > Em ter., 9 de nov. de 2021 às 18:52, Joao Marcos <boto...@gmail.com> >> > escreveu: >> > >> > Alegra-me divulgar a informação de que Cláudia Nalon foi eleita >> > membro >> > do board of trustees do CADE: >> > http://aarinc.org/Newsletters/136-2021-11.html >> > >> > Também nesta edição da AAR Newsletter há uma coluna bastante >> > interessante de co-autoria da Cláudia, sobre a sessão que ela >> > co-organizou no CADE-28 sobre a automação do raciocínio em >> > lógicas >> > não-clássicas. Segundo a coluna, algumas das conclusões a que >> > chegaram os participantes foram: >> > >> > - Empirical evaluation is difficult or impossible (either no >> > competitors or few to no benchmarks). >> > - Meaningful benchmarks are tricky and expensive to generate >> > (partly >> > hand-crafted from topical applications). >> > - Artificially/automatically generated benchmarks seem not to be >> > representative (yet this is often done). >> > - There is a very large number of different logics (and it is >> > constantly growing). >> > - Very large inputs are often difficult to handle for reasoning >> > systems. >> > - There is a lack of common syntax, no simple exchange of >> > information >> > between systems (this hampers inclusion of reasoning tools in the >> > context of AI applications). >> > - The effort needed to communicate proofs or other certificates >> > between provers, even when considering closely related systems, >> > is >> > significant. >> > >> > []s, Joao Marcos >> > >> > -- >> > http://sequiturquodlibet.googlepages.com/ >> > >> > -- >> > 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 discussão na web, acesse https://groups.google.com/ >> > a/dimap.ufrn.br/d/msgid/logica-l/ >> > CAO6j_Lis39Hbt1G7ZTTD0K1n5j03EgCAnDCvxLSivWXDYa36LA% >> 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 >> >> >> -- >> Haniel Barbosa >> https://homepages.dcc.ufmg.br/~hbarbosa/ >> >> -- >> 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 discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87o86sb5dk.fsf%40gmail.com >> . >> > -- > Prof. Dr. Itala M. Loffredo D'Ottaviano > Full Professor in Logic and the Foundations of Science > Centre for Logic, Epistemology and the History of Science > University of Campinas > -- 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/672201a6-b222-4f05-8dca-ee45b0db37d3n%40dimap.ufrn.br.
