AISB 2018 Convention

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


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


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


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



AISB event Bulletin Item

2nd CFP: 23rd International Conference on Logic Programming (ICLP 2007)

Second Call for Papers

          23rd International Conference on Logic Programming
                              ICLP 2007
                Porto, Portugal, September 8-13, 2007

Conference Scope

Since the first  conference held in Marseilles in  1982, ICLP has been
the premier international conference  for presenting research in logic
programming.  Contributions (papers  and  posters) are  sought in  all
areas of logic programming including but not restricted to:

- Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
  Knowledge Representation.

- Implementation: Compilation, Memory Management, Virtual Machines,

- Environments: Program Analysis, Program Transformation, Validation
  and Verification, Debugging, Profiling.

- Language Issues: Concurrency, Objects, Coordination, Mobility,
  Higher Order, Types, Modes, Programming Techniques.

- Alternative Paradigms: Abductive Logic Programming, Answer Set
  Programming, Constraint Logic Programming, Inductive Logic
  Programming, Alternative Inference Engines and Mechanisms.

- Applications: Deductive Databases, Data Integration, Software
  Engineering, Natural Language, Web Tools, Internet Agents,
  Artificial Intelligence, Bioinformatics.

The three broad categories  for submissions are: (1) technical papers,
where  specific  attention  will  be  given to  work  providing  novel
integrations of the areas  listed above, (2) application papers, where
the  emphasis will be  on their  impact on  the application  domain as
opposed  to  the advancement  of  the  the  state-of-the-art of  logic
programming,  and (3)  posters,  ideal for  presenting and  discussing
current work not  yet ready for publication, for  PhD thesis summaries
and research project overviews.

In addition to papers and  posters, the technical program will include
invited talks, tutorials, a Doctoral Consortium, and workshops.

Papers and Posters

Papers  and  posters must  describe  original, previously  unpublished
research,  and must  not simultaneously  be submitted  for publication
elsewhere.   They   must  be   written  in  English.    Technical  and
application  papers must  not exceed  15  pages in  the Springer  LNCS
format.  The limit for posters is 2 pages in the same format.

The primary means of submission is electronic. Papers and posters must
be submitted at


It   is  expected   that  the   proceedings  will   be   published  by
Springer-Verlag in the LNCS series.  All accepted papers and abstracts
of accepted posters will be included in the proceedings.

Important Dates

Paper registration deadline:   March 2, 2007
Submission deadline:           March 9, 2007
Notification of authors:       May 4, 2007
Camera-ready copy due:         June 8, 2007

ICLP 2007 Organization

Program Chairs:             Vernica Dahl and Ilkka Niemel
General Chair:              Fernando Silva
Local Chair:                Ricardo Rocha
Publicity Chair:            Salvador Abreu
Workshops Chair:            Agostino Dovier
Doctoral Consortium Chairs: Enrico Pontelli and Ins Dutra
Prolog Programming Contest: Bart Demoen

Contact Address:

Program Committee:
    Maurice Bruynooghe
    Keith Clark
    Vernica Dahl (Co-chair)
    Marina De Vos
    Yannis Dimopoulos
    Ins Dutra
    Esra Erdem
    Maurizio Gabbrielli
    Patricia M Hill
    Katsumi Inoue
    Tomi Janhunen
    Tony Kusalik
    Nicola Leone
    Vladimir Lifschitz
    Ilkka Niemel (Co-chair)
    Lus Moniz Pereira
    German Puebla
    Francesca Rossi
    Kostis Sagonas
    Peter Schachte
    Torsten Schaub
    Fernando Silva
    Guillermo R. Simari
    Tran Cao Son
    Paul Tarau
    Francesca Toni
    Eric Villemonte de la Clergerie
    David S. Warren
    Stefan Woltran


The ICLP'07 program will  include several workshops.  They are perhaps
the best place for the  presentation of preliminary work, novel ideas,
and new  open problems to  a wide and interested  audience.  Workshops
also   provide  a   venue  for   presenting  specialized   topics  and
opportunities for  intensive discussions and  project collaboration in
any areas  related to logic  programming, including cross-disciplinary
areas.    You    can    find     the    call    for    proposals    in

Workshop proposal submission deadline: February 14, 2007.

Doctoral Consortium

The  Doctoral  Consortium  (DC)  on  Logic Programming  is  the  third
doctoral  consortium  to  be   offered  as  part  of  ICLP  conference
series. The  DC builds  on the experience  of the  previous successful
consortiums (held in Sitges, Spain  and in Seattle, WA) during ICLP-05
and ICLP-06. The DC is designed for doctoral students working in areas
related  to logic  and  constraint programming,  who  are planning  to
pursue a career  in academia. The DC also  considers applications from
Master's   students  pursuing  projects   in  logic   programming  and
interested in  entering a  doctoral program.  The  Doctoral Consortium
aims to  provide students with  an opportunity to present  and discuss
their research directions  and to obtain feedbacks from  peers as well
as world-renown  experts in the  field.  The Doctoral  Consortium will
also offer  invited speakers and panels  discussions. More information
can be found at

Conference Venue

ICLP  2007 will  be  held in  the  city of  Porto,  second largest  in
Portugal.  Porto is located by the Douro river and the Atlantic, has a
truly unique appearance with  many striking bridges, a historic center
classified by UNESCO as a World Heritage site, a new House of Music by
Rem Koolhaas  and a  nice Museum of  Modern Art (Museu  de Serralves).
Porto is  also well known for  the much celebrated Port  wine grown in
the Douro valley.   The conference will feature a  cruise in the Douro
river along with other optional tours.

The Conference will take place in the Hotel "Le Meridien Park Atlantic