Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Октябрь 2008   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
10.10.2008
01:55:07
22:25:07
11
11.10.2008
02:45:36
23:55:10
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP - Journal of Algorithms in Cognition, Informatics and Logic


    ==========================================================
     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 2, 2009
* Notification of acceptance/rejection: May 20, 2009
* Final version: September 14, 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.
-------------------------------------
В избранное