CFP: Unification in non-classical logics

From: Manuel Ojeda Aciego (aciego@ctima.uma.es)
Date: Fri Jan 25 2002 - 14:49:25 MET

  • Next message: METMBS: "METMBS'02 Call for Papers and Technical Session Proposals"

    =======================================================================
                 We apologize if you receive this more than once
    =======================================================================

                    Unification in Non-Classical Logics
                    ----co-located with ICALP 2002-----

                    July, 12-13, 2002, Málaga, Spain

    The workshop on Unification in Non-Classical Logics will be held in
    Málaga, as a workshop of the 29-th International Colloquium on
    Automata, Languages, and Programming (ICALP 2002), which is a very
    convenient forum for an open discussion of the subject of
    non-canonical unification, roughly depicted below.

    Aims and scope
    --------------

    Unification in non-classical logics, with various approaches to
    handling generalised terms, has drawn more and more attention in
    recent years. It turns out to be among the most promising areas of
    research on non-classical logics and its applications. So far, most
    popular lines of research include fuzzy unification of (conventional)
    databases and the use of fuzzy concepts in information retrieval.
    Some international events based on these topics have been held so
    far, for instance, the 2nd Intl Workshop on Logic Programming and
    Soft Computing (LPSC'98), or the special session on Advances in
    Possibilistic Logic and Related Issues at the IFSA Congress in
    Vancouver, Canada (2001), have non-classical unification among their
    topics.

    This workshop at ICALP is conceived as a forum for the exchange of
    ideas relevant for the concept of unification in non-classical
    logics, including, but not limited to, the following topics
    (practical implementations and experiences as well as theoretical
    advances):

    * Unification in multiple-valued and fuzzy logic programming.
    * Unification based on similarities and fuzzy equivalence relations.
    * Categorical unification.
    * Practical use of non-classical unification,
            e.g. in expert systems and information retrieval.

    We expect potential participants from the following areas:
    multiple-valued logic, fuzzy logic, uncertainty in logic programming,
    categorical applications to computer science. The workshop will have
    a limited number of presentations and the organizers will apply a
    refereeing procedure accordingly.

    The format will be as a set of presentations followed by a round
    table discussion. As the number of participants is estimated not to
    be very large, time enough will be allocated for each presentation
    (between 30 and 40 minutes), thus helping to have a relaxed workshop
    atmosphere in which discussions are encouraged.

    Submission
    ----------

    The workshop proceedings will be published as an issue in the ENTCS
    series (Electronic Notes on Theoretical Computer Science ).

    Authors are invited to submit an extended abstract of their papers,
    presenting original contributions to the workshop themes. Submissions
    should be written in English and not exceed 15 pages using the ENTCS
    style, and sent to the organizers in either PS or PDF form, together
    with a text-only message containig: title, abstract and keywords, the
    author's full names, and address and e-mail for correspondence.
    Simultaneous submission to other meetings with published proceedings
    is not allowed.

    Important dates
    ---------------

    * 20.03.2002 Workshop paper submission deadline
    * 21.04.2002 Workshop paper acceptance notification
    * 10.05.2002 Workshop paper camera-ready deadline

    Organizing Committee
    --------------------
    Patrik Eklund Manuel Ojeda-Aciego
    Dept. Computing Science Dept. Matemática Aplicada
    Umeĺ University Universidad de Málaga
    Email: peklund@cs.umu.se Email: aciego@ctima.uma.es

    ----------------------------------------------------------

    -- 
    *****************************************************************
    * Manuel Ojeda-Aciego     	Phone: +34 952 132 871		*
    * Dept. Applied Mathematics	Fax:   +34 952 132 766 (or 46)	*
    * Computer Science Faculty	http://www.satd.uma.es/aciego	*
    * University of Malaga, SPAIN					*
    *****************************************************************
    

    ############################################################################ This message was posted through the fuzzy mailing list. (1) To subscribe to this mailing list, send a message body of "SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at (2) To unsubscribe from this mailing list, send a message body of "UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com" to listproc@dbai.tuwien.ac.at (3) To reach the human who maintains the list, send mail to fuzzy-owner@dbai.tuwien.ac.at (4) WWW access and other information on Fuzzy Sets and Logic see http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info (5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html



    This archive was generated by hypermail 2b30 : Fri Jan 25 2002 - 14:52:22 MET