ISRALOG 2017 - extended deadline - 15 June 2017

[jean-yves beziau]

ISRALOG 2017

The 3rd Israeli Workshop on Non-Classical Logics and Their Applications

Haifa, Israel, October 15-17, 2017

http://is.haifa.ac.il/~annazam/isralog17/

                 

-------------------------------------------------------------------------------

Following the successful events held at Tel-Aviv in 2011 and at 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 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.

- Submission deadline: 15 June 2017   *** extended deadline ***

- 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

- Edwin Mares, University of Wellington, New Zealand

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

Yoni Zohar (Tel-Aviv University, Israel)

Anna Zamansky (University of Haifa, Israel)