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

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

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

			   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  papers and
application  papers must  not exceed  15  pages in  the Springer  LNCS
format.  The limit for posters is 2 pages in that format.

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 Co-chairs:   Vernica Dahl and Ilkka Niemel
General Chair: 	     Fernando Silva
Local chair: 	     Ricardo Rocha
Publicity Chair:     Salvador Abreu
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

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.