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 Israeli Workshop on Non-Classical Logics and Their Applications , dedicated to Arnon Avron’s 60th birthday, was held in November 2012 in Tel-Aviv.
To continue this tradition, the Second Workshop will be held on 29.09 – 01.10 at the University of Haifa.
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.
Supported by the Caesarea Rothschild Institute for Computer Science and the Faculty of Social Sciences, University of Haifa.
Supported by the I-Core Program of the Planning and Budgeting Committee and The Israel Science Foundation (grant No. 4/11)