Logic List Mailing Archive

ISRALOG 2017: 3rd Israeli workshop on Non-Classical Logics

15-17 Oct 2017
Haifa, Israel

ISRALOG'2017, 2nd CFP (deadline extension)

Due to several requests we have decided to extend by two weeks the 
submission deadline of IsraLog'2017 - The 3rd Israeli Workshop on 
Non-Classical Logics and Their Applications. The extended deadline is June 
15, 2017. Please note that this is a firm deadline.

-------------------------------------------------------------------------------
                                   ISRALOG 2017

    The 3rd Israeli Workshop on Non-Classical Logics and Their Applications
                        Haifa, 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 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.

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


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