Parabéns, Claudia! Muito merecido! Abraço,
Marcelo Finger <mfin...@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 <botoc...@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+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_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+unsubscr...@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.
