Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  



AISB miscellaneous Bulletin Item

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


 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 Algorithms 
Higher-Order Unification 
String Unification 
Context Unification 
Combination problems 
Typed Unification
Related Topics
Constraint Solving 
Type Checking and Type Inference 
Automated Deduction 
Functional and Logic Programming 
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: 

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