ISRALOG17

[Joao Marcos]

* * *

Preliminary Announcement

Submission of extended abstracts: June 1, 2017
Notification of acceptance: 15 July, 2017

* * *

ISRALOG17: 15-17 OCT 2017, TEL AVIV
RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION

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 Tel Aviv 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.

* * *