CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


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


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


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


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


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


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


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


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



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


        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 .

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
Phone: +34-91-3367455                   Phone: +32 (0)16 327547

Please address any question regarding the workshop organization to the
address ciclops-org =at=

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.