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


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


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


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


Lighthill Debates

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



AISB event Bulletin Item

Reminder: DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline October 31!

Full paper deadline extended: *** October 31, Samoan time *** ]

			DAMP 2008: Workshop on
	     Declarative Aspects of Multicore Programming
			San Francisco, CA, USA
		      (colocated with POPL 2008)
			   January 9, 2008

Parallelism is going mainstream. Many chip manufactures are turning to
multicore  processor  designs  rather than  scalar-oriented  frequency
increases as  a way to  get performance in their  desktop, enterprise,
and mobile  processors. This  endeavor is not  likely to  succeed long
term  if  mainstream  applications  cannot  be  parallelized  to  take
advantage  of  tens  and  eventually  hundreds  of  hardware  threads.
Multicore  architectures will  differ in  significant ways  from their
multisocket  predecessors. For example,  the communication  to compute
bandwidth ratio is  likely to be higher, which  will positively impact
performance. More generally, multicore architectures introduce several
new  dimensions  of variability  in  both  performance guarantees  and
architectural  contracts,  such as  the  memory  model,  that may  not
stabilize for several generations of product.

Programs  written  in  functional  or  (constraint-)logic  programming
languages, or  even in other languages  with a controlled  use of side
effects, can  greatly simplify parallel  programming. Such declarative
programming  allows  for  a  deterministic  semantics  even  when  the
underlying  implementation  might   be  highly  non-deterministic.  In
addition to  simplifying programming  this can simplify  debugging and
analyzing correctness.

DAMP is  a one-day  workshop seeking to  explore ideas  in programming
language design  that will greatly simplify  programming for multicore
architectures,  and  more   generally  for  tightly  coupled  parallel
architectures.    The   emphasis   will    be   on    functional   and
(constraint-)logic  programming, but  any  programming language  ideas
that aim to raise the level  of abstraction are welcome. DAMP seeks to
gather  together  researchers in  declarative  approaches to  parallel
programming  and  to   foster  cross  fertilization  across  different

Specific topics include, but are not limited to: 

* suitability   of  functional   and   (constraint-)logic  programming
  languages to multicore applications;
* run-time issues such as garbage collection or thread scheduling;
* architectural features that may  enhance the parallel performance of
  declarative languages;
* type  systems  and  analysis  for  accurately  knowing  or  limiting
  dependencies, aliasing, effects, and nonpure features;
* ways of specifying or hinting at parallelism;
* ways of specifying or hinting  at data placement which abstract away
  from any details of the machine;
* compiler    techniques,    automatic   parallelization,    automatic
  granularity control;
* experiences  of  and  challenges  arising  from  making  declarative
  programming practical;
* technology for debugging parallel programs;
* design and  implementation of domain-specific  declarative languages
  for multi-core;


  Submitted  papers  papers  should  not  exceed  15  pages  in  LLNCS
  format. Submission is electronic via:


Important dates:

  Abstract submission:     Oct 26
  Paper submission:        Oct 31, Samoan time (*extended*)
  Notification to authors: Nov 30
  Camera ready:            Dec 14

Program Chair:

  Manuel Hermenegildo
  Technical University of Madrid / IMDEA-Software -- herme@fi.upm.es 
  University of New Mexico -- herme@unm.edu

Program Committee: 

  Koen De Bosschere (U. of Gent, Belgium)
  Manuel Carro (Tech. U. of Madrid, Spain)
  Manuel Chakravarty (U. of New S. Wales, Australia)
  Clemens Grelck (U. of Luebeck, Germany)
  Dan Grossman (U. of Washington, USA)
  Suresh Jagannathan (Purdue U., USA)
  Pedro Lopez-Garcia (Tech. U. of Madrid, Spain)
  Lee Naish (Melbourne University, Australia)
  Leaf Petersen (Intel Corporation, USA)
  Enrico Pontelli (New Mexico State U., USA)
  John Reppy (U. of Chicago, USA)
  Vitor Santos-Costa (U. of Porto, Portugal)

General Chairs:

  Leaf Petersen
  Neal Glew
  Intel Corporation
  Santa Clara, CA, USA



Past DAMPs: