AISB Convention 2015

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 2015 Convention will be held at the Uni...


Read More...

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


Read More...

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


Read More...

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


Read More...

Lighthill Debates

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


Read More...
01234

Notice

AISB event Bulletin Item

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

http://www.dcc.fc.up.pt/iclp07/

Second Call for Papers

          23rd International Conference on Logic Programming
                              ICLP 2007
                Porto, Portugal, September 8-13, 2007
                   http://www.dcc.fc.up.pt/iclp07/

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

- 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 http://www.easychair.org/ICLP2007/.


Publication

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:     iclp07@dcc.fc.up.pt

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


Workshops

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
http://www.dimi.uniud.it/dovier/WICLP07/.

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 http://www.cs.nmsu.edu/~epontell/DC2007/.


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