Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


Read More...

AISB 2018 Convention

The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for presen...


Read More...

AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


Read More...

AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Read More...

Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


Read More...

AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...
0123456789

Notice

AISB miscellaneous Bulletin Item

CFP: Special Issue of Journal of Algorithms in Cognition, Informatics and Logic


CALL FOR PAPERS

 Journal of Algorithms in Cognition, Informatics and Logic 

Special Issue on Unification

Scope of the Special Issue

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 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 at RTA 2008 and other authors are invited to submit contributions. Submissions should be mature journal articles. 
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.

Important dates

Deadline for paper submission:	February 23, 2009
Notification of acceptance/rejection:	June 10, 2009
Deadline for camera-ready version:	July 27, 2009
Submission guidelines

We are expecting 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 here for manuscript preparation, and to use the EasyChair submission system: 
    http://www.easychair.org/conferences/?conf=jacilunif2009

The manuscripts should comply to the author guidelines of the Journal of Algorithms in Cognition, Informatics, and Logic.
Special Issue Editor:

    Mircea Marin        University of Tsukuba, Japan