---------- Forwarded message ----------
From: "[LOGIC] Mailing List" <[email protected]>
Date: Mar 24, 2017 8:53 AM
Subject: [LOGIC] IsraLog 2017: Israeli Workshop on Non-Classical Logics,
Tel Aviv (Israel), 15-17 Oct 2017
To:
Cc:
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.
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjvcoipaidCOxBaV74JPWU1%2B98sd%2BLZeUH3v0m0mujYag%40mail.gmail.com.
