Research Workshop of Israel Science Foundation

Following the successful events held in Tel Aviv in 2011 and in Haifa in 2014,
we are pleased to announce that the third Israeli Workshop on Non-Classical
Logics and Their Applications (IsraLog’2017) will take place in Haifa
between 15 October and 17 October, 2017.

— Workshop Description and Aims —

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

— Scope of the Workshop —

The scope of the workshop covers non-classical logics, including, but not limited
to temporal, modal, substructural, intuitionistic, relevant, fuzzy, probabilistic,
paraconsistent, non-monotonic, description and domain-specific fragments of
classical and non-classical logics. We welcome both theoretical contributions and
reports on applications for handling uncertainty, vagueness and inconsistency,
verification and program analysis, databases, knowledge representation, as well
as other fields in mathematics, computer science and information systems.

This edition is a research workshop of The Israel Science Foundation, with
special emphasis on paraconsistent logics and their applications.

— Submission Requirements —

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.

Please submit to:

— Workshop Proceedings/Notes —

Accepted abstracts will be made available electronically in the workshop’s
website, and will appear in a booklet that will be distributed during the meeting.

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.

The post-proceeding of the first IsraLog has appeared in a special issue of the
Journal of Logic and Computation: Volume 26, Issue 1, February 2016.

The post-proceeding of the second IsraLog has appeared in a special issue of the
Logic Journal of the IGPL: Volume 24, Number 3, June 2016.

— Attendance —

The selection of accepted contributions will be based on relevance, significance
and the work’s potential to foster discussions and cross-fertilization. At least
one co-author of each accepted paper must register for the workshop.

— Important Dates —

– Submission deadline: 15 June 2017
– Notification: 15 July 2017
– Final version: 15 August 2017
– Workshop date: 15-17 October 2017

— Invited Speakers —

– Didier Dubois, Paul Sabatier University, France
– Michael Dunn, Indiana University, USA
– Dov Gabbay, Bar-Ilan University, Israel
– Edwin Mares, University of Wellington, New Zeland
– Daniele Mundici, University of Florence, Italy

— Program Committee —

– Ofer Arieli (Academic College of Tel Aviv, Israel), co-chair
– Arnon Avron (Tel Aviv University, Israel), co-chair
– Libor Behounek (University of Ostrava, The Czech Republic)
– Agata Ciabattoni (TU Wien, Austria)
– Petr Cintula (Academy of Sciences, The Czech Republic)
– Nachum Dershowitz (Tel Aviv University, Israel)
– Lluis Godo (IIIA – CSIC, Spain)
– Roman Kuznets (TU Wien, Austria)
– Joao Marcos (UFRN, Brazil)
– Alexander Rabinovich (Tel Aviv University, Israel)
– Anna Zamansky (University of Haifa, Israel), co-chair

— Organizing Commitee —

– Ofer Arieli (Academic College of Tel Aviv, Israel)
– Arnon Avron (Tel Aviv University, Israel)
– Liron Cohen (Cornell Univeristy, USA)
– Nachum Dershowitz (Tel Aviv University, Israel)
– Ori Lahav (Max Planck Institute for Software Systems, Germany)
– Yoni Zohar (Tel Aviv University, Israel)
– Anna Zamansky (University of Haifa, Israel)

— Further Information —

Please visit the workshop website
for further information and regular updates.