[PlanetKR] ISRALOG'17 - CFP

Anna Zamansky annazam at gmail.com
Fri Mar 24 17:59:38 EST 2017


​
-------------------------------------------------------------------------------
                                  IsraLog 2017
             Research Workshop of the Israel Science Foundation
   The 3rd Israeli Workshop on Non-Classical Logics and Their Applications
                       Tel-Aviv, Israel, October 15-17, 2017

                 https://easychair.org/conferences/?conf=isralog17
                 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 Tel-Aviv,
Israel
between 15 -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.

Please submit to: https://easychair.org/conferences/?conf=isralog17


-- 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 the 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: 1 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
- 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)
Nachum Dershowitz (Tel Aviv University, Israel)
Ori Lahav (Max Planck Institute, Germany)
Yoni Zohar (Tel-Aviv University, Israel)
Anna Zamansky (University of Haifa, Israel)


-- Further Information --

Please visit the workshop website (http://is.haifa.ac.il/~annazam/isralog17
)
for further information and regular updates.
​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20170324/904fdf45/attachment.html 


More information about the PlanetKR mailing list