ISRALOG 2017 The 3rd Israeli Workshop on Non-Classical Logics and Their Applications Haifa, Israel, October 15-17, 2017 http://is.haifa.ac.il/~annazam/isralog17/
------------------------------------------------------------ ------------------- Following the successful events held at Tel-Aviv in 2011 and at Haifa in 2014, we are pleased to announce that the third Israeli Workshop on Non-Classical Logics and Their Applications (IsraLog'2017) will take place in Haifa between 15 October and 17 October, 2017. -- Workshop Description and Aims -- 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 aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the `end-users’ of non-classical formalisms for various applications. 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. -- Scope of the Workshop -- The scope of the workshop covers non-classical logics, including, but not limited to modal, substructural, intuitionistic, relevant, fuzzy, probabilistic, paraconsistent, non-monotonic, description and domain-specific fragments of classical and non-classical logics. We welcome both theoretical contributions and reports on applications for handling uncertainty, vagueness and inconsistency, verification and program analysis, databases, knowledge representation, as well as other fields in mathematics, computer science and information systems. This edition is a research workshop of The Israel Science Foundation, with *special emphasis on paraconsistent logics and their applications.* -- Submission Requirements -- We invite submissions of extended abstracts (2-4 pages in the LNCS format) presenting original research results or position statements. Submissions of ongoing work are also strongly encouraged. - Submission deadline: 15 June 2017 *** extended deadline *** - Notification: 15 July 2017 - Final version: 15 August 2017 - Workshop date: 15-17 October 2017 -- Invited Speakers -- - Didier Dubois, Paul Sabatier University, France - Michael Dunn, Indiana University, USA - Edwin Mares, University of Wellington, New Zealand - Daniele Mundici, University of Florence, Italy -- Program Committee -- - Ofer Arieli (Academic College of Tel-Aviv, Israel), co-chair - Arnon Avron (Tel-Aviv University, Israel), co-chair - Libor Behounek (University of Ostrava, The Czech Republic) - Agata Ciabattoni (TU Wien, Austria) - Petr Cintula (Academy of Sciences, The Czech Republic) - Nachum Dershowitz (Tel Aviv University, Israel) - Lluis Godo (IIIA - CSIC, Spain) - Roman Kuznets (TU Wien, Austria) - Joao Marcos (UFRN, Brazil) - Alexander Rabinovich (Tel-Aviv University, Israel) - Anna Zamansky (University of Haifa, Israel), co-chair -- Organizing Commitee -- Ofer Arieli (Academic College of Tel-Aviv, Israel) Arnon Avron (Tel-Aviv University, Israel) Liron Cohen (Cornell Univeristy, USA) Yoni Zohar (Tel-Aviv University, Israel) Anna Zamansky (University of Haifa, Israel) -- 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/CAF2zFLAb6%3Dctemx7PYLh6NFCB6%3DX2FMVZWNdo%3DNAA%2BAmC2_PcA%40mail.gmail.com.
