15 - 17 October 2017, The 3rd Israeli Workshop on Non-Classical Logics and Their Applications (IsraLog 2017), Tel Aviv, Israel
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.
This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.
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.