O título é fantástico, assim como o texto. Parabéns pra Cláudia (duplamente!!)
On Wed, Nov 10, 2021 at 1:59 AM Valeria de Paiva <valeria.depa...@gmail.com> wrote: > Parabens pra Claudia!! a obrigada pela boa noticia Joao Marcos! > > On Tue, Nov 9, 2021 at 1:52 PM Joao Marcos <botoc...@gmail.com> wrote: > >> 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 >> . >> > -- > 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/CAESt%3DXtEgtsE9HBqPLNrakqJV9fK9Ov9j2AAn-M5STo2vH53rA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtEgtsE9HBqPLNrakqJV9fK9Ov9j2AAn-M5STo2vH53rA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Elaine. ------------------------------------------------- Elaine Pimentel Full professor - DMAT/UFRN Vice-head of PPGMAE/UFRN President of the Brazilian Logic Society Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Webpage: http://sites.google.com/site/elainepimentel/ DBLP: https://dblp.org/pid/53/5809.html Orcid: https://orcid.org/0000-0002-7113-0801 Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BUzJHRhV6HCFFuderu%2B_fbV2XmiPxUiELaokL_UOCS-mA%40mail.gmail.com.