Welcome to the ISRALOG webpage!

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 Haifa 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.