Fwd: ISRALOG'14 - CFP

[Joao Marcos]

Divulgo amplamente a seguir um evento sobre lógicas não-clássicas que
será realizado pelos nossos parceiros israelenses no projeto GeTFun
(http://sqig.math.ist.utl.pt/GeTFun/).

Joao Marcos


---------- Forwarded message ----------

ISRALOG'14 - CFP

The Second Israeli Workshop on Non-Classical Logics and Their
Applications will be held on 29.09 - 01.10 at the University of Haifa.

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
scope of the workshop covers non-classical logics, including, but not
limited to temporal, 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.

The workshop will feature invited talks and surveys by Petr Cintula,
Michael Dunn, Alessio Guglielmi, Lluis Godo, Francesc Esteva, Gabriele
Kern-Isberner and Carles Noguera.

We invite submissions of еxtended abstracts (2-4 pages in the LNCS
format) presenting original research results or position statements.
Please submit your abstract by July 1, 2014 using the following
EasyChair link:
https://www.easychair.org/conferences/?conf=isralog2014

Extended versions of papers presented at the workshop will be
published as a special issue of the Logic Journal of the IGPL.

Further details can be found at http://mis.hevra.haifa.ac.il/~annazam/isralog/