It is dark before dawn

[Joao Marcos]

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/

[Valeria de Paiva]

Parabens pra Claudia!! a obrigada pela boa noticia Joao Marcos!

--
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.

[Elaine Pimentel]

O título é fantástico, assim como o texto.

Parabéns pra Cláudia (duplamente!!)

--
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+u...@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.

--

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

-------------------------------------------------------- 

[Vivek Nigam]

Ótima notícia!

Parabéns Claudia!

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.

--

------------------------------------------------- 

Vivek Nigam

http://www.nigam.info/

-------------------------------------------------------- 

[Walter Carnielli]

Colegas,  e Cláudia em especial:

Meus sinceros  parabéns à eleição  da Cláudia  como membro do "board of trusrees"  do CADE.

Fico feliz em saber que além da escolha do co-chairs para o  IJCAR e eventos do CADE,  as tarefas  incluem nominar o Herbrand Award selection committee.

Nossa esperança de que esses prêmios possam ser mais democráticos e inclusivos, como tenho criticado. 

Abraços, 

Walter 

[Marcelo Finger]

Parabéns Claudia.

É um passo importante termos alguém nos representando acostumada a expressar nossa opinião.

[]s

--
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

[Cassiano Terra Rodrigues]

Mas q boa notícia! 

Parabéns, Claudia! 
Obrigado, JM, por nos participar, só a noite é q amanhece. 

cass. 

[Haniel Barbosa]

Parabéns, Claudia! Muito merecido!

Abraço,

> *

>
> 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/

[Itala Maria Loffredo D'Ottaviano]

Parabéns, Cláudia!

Temos certeza que você terá um papel fundamental no CADÊ.

Itala

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

[na...@unb.br]

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.