CAV 2022’s Artifact Evaluation

[Elaine Pimentel]

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

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