15-17 Oct 2017
Tel Aviv, Israel
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. ?
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam