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...


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...


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 ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


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...



AISB event Bulletin Item

CFP: CICLOPS 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems


C A L L   F O R   P A P E R S
                             CICLOPS 2008

                     Colloquium on Implementation
             of Constraint and LOgic Programming Systems

    (URL: http://www.clip.dia.fi.upm.es/Conferences/CICLOPS-2008/)

        to be held in Udine (Italy) at the occasion of ICLP'08

                            December, 2008

Important dates and other relevant information

  * Abstract submission: September 1
  * Paper submission: September 8
  * Notification of acceptance: October 1
  * Final version due: October 17
  * Workshop dates: TBD

Submission will be done through EasyChair using the URL
http://www.easychair.org/conferences/?conf=ciclops08 .

Topics of interest

This  workshop aims  at discussing  and exchanging  experience  on the
design, implementation, and  optimization of logic, constraint (logic)
programming  systems, and  systems intimately  related to  logic  as a
means  to   express  computations.   Experience  backed  up   by  real
implementations and their evaluation will be given preference, as well
as descriptions of work in progress in that direction.

Topics include, but are not limited to:

  * Standard and alternative sequential implementation schemes (e.g.,
    generalization / modification of the WAM, translation to
    lower-level and/or general-purpose languages, etc.)

  * Implementation of parallel and concurrent logic and constraint
    programming systems.

  * Compile-time analysis and its application to code generation.

  * Interaction between high-level optimizations / transformations /
    specialization and low-level issues.

  * Memory management, indexing, and garbage collection issues.

  * Balance between compile-time effort and run-time machinery.

  * Implementation techniques for declarative programming paradigms
    with basis on, or extending, logic and constraint programming,
    such as non-monotonic reasoning, inductive logic programming,
    co-inductive logic programming, contextual logic programming, etc. 

  * Implementation of systems closely related to, or based on, logic,
    such as theorem provers and natural language processing systems.

  * Automatic performance evaluation of logic and constraint
    programming systems.

  * User-oriented tools for performance evaluation and enhancement.

  * Software design with / for LP/CP systems: components, code
    patterns and rules, etc.

  * Design and implementation of programming environments.

  * Experiences from using systems in real-life applications.

Workshop Goals

Our  intent is  to  bring  together, in  an  informal setting,  people
involved  in  research   on  sequential  and  parallel  implementation
technologies  for  logic  and  constraint  programming  languages  and
systems, in  order to  promote the exchange  of ideas and  feedback on
recent developments. We hope that  the workshop will provide a meeting
point for  people working  on implementation technology  for different
aspects of logic and constraint-based languages and systems.

Rationale and History

Progress in computing technology,  including the now readily available
multicore processors, increased  memory capacity and bandwidth, faster
networking  technology,  and   O.S.  support  for  cluster  computing,
combined  with recent  advances  in compilation  technologies and  the
wider  adoption   of  alternative  constraint/logic-based  programming
languages,  are making  high-level languages  to be  regarded  as good
candidates for programming  complex, demanding applications. A witness
of this  very interesting  trend is the  interest of Intel  with their
sponsorship  of the DAMP  series of  workshops. Logic  Programming and
Constraint  Programming,   in  particular,  offer  one   of  the  best
alternatives, as  they couple a very  high level of  abstraction and a
declarative nature with flexibility  its execution model, which can be
adapted to different scenarios.

An orthogonal but synergistic  issue in the pursue of high-performance
and  high-level  languages   comes  from  advances  in  implementation
techniques for logic and constraint languages. These techniques aim at
achieving  both design flexibility  and good  performance in  terms of
speed and memory consumption,  thus making those languages and systems
more  amenable  than ever  for  real  world applications.  Maintaining
flexibility without  unnecessarily sacrificing performance,  and while
retaining a  high level which  relieves the programmer  from burdening
tasks,  requires   sophisticated  technology  whose   exploration  and
development is one the aims of this workshop.

This  workshop  continues  a  tradition  of  successful  workshops  on
Implementations of Logic Programming  Systems, previously held with in
Budapest  (1993) and  Ithaca  (1994), the  Compulog  Net workshops  on
Parallelism and  Implementation Technologies held in  Madrid (1993 and
1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages
held in  Port Jefferson (1997), Manchester (1998),  Las Cruces (1999),
and London (2000), and  more recently the Colloquium on Implementation
of Constraint and LOgic  Programming Systems in Paphos (Cyprus, 2001),
Copenhagen (2002),  Mumbai (2003),  Saint Malo (France,  2004), Sitges
(Spain, 2005), Seattle (U.S.A., 2006) and Porto (Portugal, 2007).

Submission Information

Authors  are invited  to  submit  papers written  in  English and  not
exceeding 12 pages and using  LNCS format. Authors who wish to prepare
papers in formats other than LaTeX are kindly requested to contact the
organization beforehand in  order to make sure that  we have available
the  right tools  to process  the files  (if needed),  or in  order to
receive detailed format instructions otherwise.


Program Committee:

  * Slim Abdennadher (Egypt)
  * Roberto Bagnara (Italy)
  * Amadeo Casas (U.S.A.)
  * Henning Christiansen (Denmark)
  * Gregory Duck (Australia)
  * Hai-Feng Guo (U.S.A.)
  * Remy Haemmerle (Spain)
  * Jos F. Morales (Spain)
  * Ulrich Neumerkel (Austria)
  * Phuong-Lan Nguyen (France)
  * Ricardo Rocha (Portugal)
  * Tom Schrijvers (Belgium)
  * Paul Tarau (U.S.A.)
  * Jan Wielemaker (The Netherlands)
  * Manuel Carro (Spain)
  * Bart Demoen (Belgium)

Workshop Coordinators:

Manuel Carro                            Bart Demoen
http://clip.dia.fi.upm.es/~mcarro       http://www.cs.kuleuven.be/~bmd/
Phone: +34-91-3367455                   Phone: +32 (0)16 327547

Please address any question regarding the workshop organization to the
address ciclops-org =at= clip.dia.fi.upm.es

Invited Speaker:



We plan for the informal  workshop proceedings to be available on-line
at the Computing Research Repository after the workshop. An electronic
copy will also be distributed during the conference.

Acknowledgments and Support

The organizers  wish to  thank the School  of Computer Science  of the
UPM, the Computer  Science Department of KU Leuven  for their support,
and the CLIP Lab of the UPM for the hosting and facilities provided.