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 < hanielbbarb...@gmail.com> escreveu: > 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 > . > -- 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/CAGi1dG7pX782ux4tbnC3EnQLhFZk-SvA-9eM948%2BUWqbhjRzBA%40mail.gmail.com.
