Prezados colegas, Encaminho a mensagem da Maria Schett procurando voluntários para o CAV Artifact Evaluation Committee.
******* Daniel Dietsch and I are co-chairing CAV 2022’s Artifact Evaluation Committee (http://i-cav.org/2022/artifact-evaluation/). We’re currently recruiting committee members. Would any of your team members be interested in joining our committee? We’re gathering self-nominations at https://forms.gle/mbWi5XMgWMJHtsPR7 We expect that each member will review two to four artifacts, and that reviewing each artifact will take a few hours. Artifact evaluation will happen in May 2022. Deadline for self-nomination is December 14, 2021. Thanks a lot. -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BW1bLr9Ct-FVgVAzbzyTiODanX9aCnuBTLXezZVZDCN_A%40mail.gmail.com.
