---------- Forwarded message --------- Dear friends,
The VardiFest titled "On the Not So Unusual Effectiveness of Logic" is a workshop in honor of Moshe Vardi and is intended to celebrate Moshe Vardi's pioneering contributions that has enhanced logic's centrality in Computer science. The workshop will be organized ala Highlights conference style: i.e., composed of short talks and invited talks. This is a call for short talks (expected to be ~12 minutes). The proposal should be at most one page PDF in Easychair class style (https://easychair.org/publications/for_authors ). We will try to accommodate as many speakers as possible. Given the depth and breadth of Vardi's contributions that span across multiple fields of computer science and society at large, there is no definite list of topics of interest. Deadline for Submission: May 15, 2022 AoE Notification of Acceptance: May 19, 2022 AoE Submission Site: https://easychair.org/conferences/?conf=vardifest22. More information about workshop: https://vardifest.github.io/ Organizers Giuseppe De Giacomo (Sapienza Univ. Rome,Italy) Kuldeep S. Meel (National University of Singapore) Kristin Yvonne Rozier (Iowa State University, Ames, Iowa) -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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_LjuxWbSuK%3D5Cyf%2BpNXFW_P2v4vrCfPCx0VdTEAyCu8_mg%40mail.gmail.com.
