[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies if you receive multiple copies]
**************************************************************
EXTENDED DEADLINES | EXTENDED DEADLINES | EXTENDED DEADLINES |
**************************************************************
==========================================================
JOURNAL OF ALGORITHMS IN COGNITION, INFORMATICS AND LOGIC
Special Issue on Unification
http://www.score.cs.tsukuba.ac.jp/~mmarin/unif.html
==========================================================
SCOPE
-----
Unification is a fundamental process that occurs in several fields of
computer science, including theorem proving, logic programming, natural
language processing, computational complexity, and computability theory.
It is also at the core of several type inference algorithms, and recent
works in XML-oriented programming introduced new aspects of the
unification process in the theory of regular expression and regular tree
languages. Unification theory emerged from the abstraction of the
specific applications of this process, and is concerned with general
notions like instantiation, most general unifier, etc., their main
properties, and with the identification and analysis of unification
algorithms that can be used in several contexts.
This special issue of the Journal of Algorithms in Cognition,
Information and Logic is devoted to the dissemination of the latest
developments and results in unification.
We are looking for contributions describing original and new ideas and
results in unification and closely related fields. Topics of interest
include:
* Unification
E-unification
Unification Algorithms
Higher-Order Unification
String Unification
Context Unification
Combination problems
Disunification
Typed Unification
* Related Topics
Constraint Solving
Matching
Narrowing
* Applications
Type Checking and Type Inference
Automated Deduction
Rewriting
Functional and Logic Programming
Grammars
Computational Linguistics
Both participants of the UNIF 2008 workshop and other authors are
invited to submit contributions. Submissions should be mature journal
articles.
SUBMISSION GUIDELINES
---------------------
We expect full high-quality papers (typically, 20-30 pages) to describe
original and previously unpublished contributions. Papers should be
written in English, and not be simultaneously submitted for publication
elsewhere (previous publication of partial results at workshops and
conferences is acceptable). The normal reviewing process for journals
will be used and papers should conform to usual journal standards.
Authors are strongly encouraged to use the LaTeX template files
available at
http://www.elsevier.com/framework_products/promis_misc/latexguidelinesonline.pdf
for manuscript preparation, and to use the EasyChair submission system
http://www.easychair.org/conferences/?conf=jacilunif2009
IMPORTANT DATES
---------------
* Paper submission: February 16, 2009
* Notification of acceptance/rejection: June 3, 2009
* Final version: September 28, 2009
GUEST EDITOR
------------
Mircea Marin (SCORE, University of Tsukuba, Japan)
ABOUT THE JOURNAL
-----------------
The Journal of Algorithms in Cognition, Informatics and Logic is a
prestigious international journal published by Elsevier which aims at
promoting the algorithmic research from all relevant sciences and fields
of human endeavor. The subtitle "Cognition, Informatics, and Logic"
emphasizes the intended breadth and interdisciplinary nature of the journal.
-------------------------------------
