CFProposal AISB2018

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


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


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


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


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



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 -- 
  University of New Mexico --

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: