* * * Preliminary Announcement
Submission of extended abstracts: June 1, 2017 Notification of acceptance: 15 July, 2017 * * * ISRALOG17: 15-17 OCT 2017, TEL AVIV RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION Non-classical logics are increasingly used in various fields of information systems and computer science. They provide formal tools for handling uncertain, imprecise and inconsistent information, knowledge representation, program verification and reasoning about dynamic structures. The first edition of ISRALOG , dedicated to Arnon Avron’s 60th birthday, was held in November 2012 in Tel Aviv. The second edition of ISRALOG was held in October 2015 at the University of Haifa. We are happy to host the third edition of ISRALOG in Tel Aviv again, with a special focus on paraconsistent logics. This edition is a RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION. The aim of this workshop is to promote communication between experts in the theory of non-classical logics, with a special focus on paraconsistency. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions. Authors of selected abstracts presented at the workshop will be invited to submit an extended version to a special issue of Journal of Applied Logic. * * * -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgO%3DJrG5Lzxu5%3DsrN36a7koE-1Y%3DGOfK70WLY5twq1wmw%40mail.gmail.com.
