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

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


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

CFP: ICLP'08 International Conference on Logic Programming

http://iclp08.dimi.uniud.it

CALL FOR PAPERS
                                    ICLP'08

              24th International Conference on Logic Programming
                     Udine, Italy, December 9th-13th, 2008
                          http://iclp08.dimi.uniud.it

 
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, position 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, Integration.
* Language  Issues:  Extensions, Integration with Other Paradigms, Concurrency,
   Modularity,  Objects,  Coordination,  Mobility,  Higher Order, Types, Modes,
   Programming Techniques.
* Related Paradigms:  Abductive Logic Programming, Inductive Logic Programming,
   Constraint Logic Programming, Answer-Set Programming.
* Applications:   Databases,    Data   Integration  and   Federation,  Software
   Engineering,  Natural  Language  Processing,  Web  and Semantic Web, Agents,
   Artificial Intelligence, Bioinformatics

The three broad categories for submissions are:
   (1) Technical papers,  providing  novel research  contributions,  innovative
       perspectives  on the field,  and/or novel integrations  across different
       areas;
   (2) Application  papers,  describing  innovative uses  of  logic programming
       technology in real-world application domains;
   (3) Posters, ideal for presenting and discussing current work, not yet ready
       for publication, for PhD thesis summaries and research project overviews.

A  separate  session  dedicated  to  the celebration of the 20th anniversary of
stable model semantics will also be part of the program.

Accepted  papers and posters will be allocated time for presentation during the
conference.  At  least  one  author  of each accepted submission is expected to
register and participate in the event.

In  addition  to papers and posters, the technical program will include invited
talks,  advanced  tutorials,  specialized  sessions,  workshops, and a Doctoral
Student  Consortium.  Details,  as  they  become  available  will be posted at:

                          http://iclp08.dimi.uniud.it

PAPERS AND POSTERS
------------------
Papers and posters must describe original, previously unpublished research, and
must  not  be simultaneously submitted for publication elsewhere. Emphasis will
be  placed  on  the  novelty  and innovative nature of the results (even if not
completely polished and refined).
All  submissions  will  be peer-reviewed by an international panel. Submissions
MUST contain substantial original, unpublished material.
All  submissions  must  be written in English. Technical papers and application
papers must not exceed 15 pages in the Springer LNCS format

                   (see http://www.springeronline.com/lncs/)

The limit for posters is 5 pages in the same format.

The  primary  means  of  submission  will  be electronic, through the Easychair
submission system. The submission page is available at

               http://www.easychair.org/conferences/?conf=ICLP08


PUBLICATION
-----------
The  proceedings  of the conference will be published by Springer-Verlag in the
LNCS  series.  All  accepted  papers  and  posters  will  be  included  in  the
proceedings.

WORKSHOPS
---------
The  ICLP'08  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 more focused and specialized audience. Workshops also provide a
venue  for  presenting  specialised  topics  and  opportunities  for  intensive
discussions   and   project   collaboration  in  any  areas  related  to  logic
programming, including cross-disciplinary areas.

DOCTORAL CONSORTIUM
-------------------
The  Doctoral  Consortium  (DC)  on  Logic  Programming  is  the  4th  Doctoral
consortium  to  provide  doctoral  students with the opportunity to present and
discuss  their  research directions, and to obtain feedback from both peers and
word-renown  experts  in the field. The DC will also offer invited speakers and
panel discussions. Accepted participants will receive partial financial support
to  attend  the  event and the main conference. The best paper and presentation
from  the DC will be given the opportunity to present in special session of the
main ICLP conference.

CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS
------------------------------------------------
The year 2008 marks the 20th anniversary of the publication that introduced the
stable  model semantics for logic programs with negation. The paper titled "The
stable  semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz
was  presented  at  ICLP-1988.  It  was  a  momentous event that gave rise to a
vibrant  subfield of logic programming known now as the answer-set programming.
Its  distinguishing  aspects  are  close connections to the fields of knowledge
representation,   satisfiability   and  constraint  satisfaction,  ever  faster
computational tools, and a growing list of successful applications.

To  celebrate  the  stable-model  semantics, there will be a special session at
ICLP  2008  dedicated to answer-set programming. The session will feature talks
by  Michael  Gelfond  and  Vladimir  Lifschitz.  as  well  as  by  other  major
contributions   to   the   field,   presenting  personal  perspectives  on  the
stable-model  semantics,  its  impact  and  its  future.  There will be a panel
discussion,  and  regular  accepted  ICLP  papers  falling  into the answer-set
programming area will complete the program.


CONFERENCE VENUE
----------------
The conference will be held in the city of Udine, the capital of the historical
region  of  Friuli, Italy. Located between the Adriatic sea and the Alps, close
to  Venice,  Austria  and Slovenia, Udine is a city of Roman origins, funded by
Emperor  Otto  in  983.  Rich of historical sites, Udine is also famous for its
commercial  and  shopping  opportunities  and its outstanding wine and culinary
traditions.

SUPPORT SPONSORING AND AWARDS
-----------------------------
The conference is sponsored by the Association for Logic Programming (ALP). The
ALP  has  funds  to  assist  financially disadvantaged participants. The ALP is
planning  to sponsor two awards for ICLP 2008: for the best technical paper and
for the best student paper.

IMPORTANT DATES
---------------                 Papers          Posters
Abstract submission deadline    June 2nd        n/a
Submission deadline             June 9th        August 15th
Notification of authors         August 1st      September 1st
Camera-ready copy due           September 15th  September 15th
20 Years of Stable Models       TBA
Doctoral Consortium             TBA
Workshop Proposals              June 2nd
Early-bird Registration         TBA
Conference                      December 9-13, 2008


ICLP'2008 ORGANIZATION
----------------------
General Chair:
   Agostino Dovier (University of Udine)

Program Co-Chairs:
   Maria Garcia de la Banda (Monash University)
   Enrico Pontelli (New Mexico State University)

Workshop Chair:
   Tran Cao Son (New Mexico State University)

Doctoral Student Consortium:
   David Warren (SUNY Stony Brook)
   Tom Schrijvers (K.U.Leuven)

Publicity Co-Chairs:
   Marcello Balduccini  (Kodak Research Labs)
   Alessandro Dal Palu' (University of Parma)

Programming Competition Chair:
   Bart Demoen (K.U.Leuven)

20 Years of Stable Models:
   Mirek Truszczynski (University of Kentucky)
   Andrea Formisano (University of Perugia)

Program Committee:
   Salvador Abreu           Sergio Antoy
   Pedro Barahona           Chitta Baral
   Gerhard Brewka           Manuel Carro
   Michael Codish           Alessandro Dal Palu'
   Bart Demoen              Agostino Dovier
   John Gallagher           Michael Gelfond
   Carmen Gervet            Gopal Gupta
   Manuel Hermenegildo      Andy King
   Michael Maher            Juan Moreno Navarro
   Alberto Pettorossi       Brigitte Pientka
   Gianfranco Rossi         Fariba Sadri
   Vitor Santos Costa       Tran Cao Son
   Paolo Torroni            Frank Valencia
   Mark Wallace

Web Master:
   Raffaele Cipriano

Local Arrangements Committee:
   Alberto Casagrande
   Elisabetta De Maria
   Luca Di Gaspero
   Carla Piazza


----------------------------------------------------
For further information: iclp08@cs.nmsu.edu
                         http://iclp08.dimi.uniud.it