Welcome to the ISRALOG webpage!


More ISRALOG17 photos are here

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 have just hosted the third edition of ISRALOG in Haifa again, with a special focus on paraconsistent logics. This edition was a RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION.

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.

Thank you everyone for attending ISRALOG17, and see in the next edition!