Ótima notícia! Parabéns Claudia!
On Wed 10. Nov 2021 at 06:25, Elaine Pimentel <elaine.pimen...@gmail.com> wrote: > 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ê 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/CAHQVs%2BUzJHRhV6HCFFuderu%2B_fbV2XmiPxUiELaokL_UOCS-mA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUzJHRhV6HCFFuderu%2B_fbV2XmiPxUiELaokL_UOCS-mA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- ------------------------------------------------- Vivek Nigam http://www.nigam.info/ -------------------------------------------------------- -- 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/CAFx3SP%2B9eiAFHK0MScTGdEPGc%3Dz5j9btAyDZT%3DDE0KxFGhq6iw%40mail.gmail.com.
