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 al-Rifaie ( Tu...


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


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...



AISB event Bulletin Item

CF position papers: Exploiting Concurrency Efficiently and Correctly ((EC)^2)

Call for Position Papers
     Exploiting Concurrency Efficiently and Correctly ((EC)^2)
                        CAV 2008 Workshop
                  July 7-8, 2008, Princeton, NJ

Our ability to effectively harness the computational power of the next
generation of multiprocessor and multicore architectures is predicated
upon advances in programming languages and tools for developing
concurrent software.  This has resulted in a surge of
concurrency-related research activity from different viewpoints, such
as rethinking of programming abstractions and memory models;
standardization and formalization of commonly used APIs (e.g., MPI,
OpenMP); and new forms of hardware support for parallel processing.

While developing tools for verifying and debugging concurrent systems
has been an important theme at CAV, we believe that formal methods
research can go beyond checking existing code/systems, and play a role
in identifying the "right" abstractions for concurrency.  The goal of
this workshop is to bring together CAV researchers with experts who
are involved in developing multicore architectures, programming
languages, and concurrency libraries.

Invited Speakers:

Saman Amarsinghe, MIT
Jim Larus, Microsoft Research
Edward Lee, UC Berkeley
Vivek Sarkar, Rice University
Michael Scott, University of Rochester


The two-day workshop will include five invited talks and several panel
sessions.  Authors of position papers will be given an opportunity to
present their ideas either as a short presentation or as a poster. A
booklet consisting of all the position papers will be distributed to
the workshop participants.

We seek submissions of position statements between 2 and 4 pages. There
are many possible themes for a position paper, including a survey of
the authors' relevant recent research, a discussion of deficiencies in
current languages and tools, challenges for future verification
research, and/or a vision for change.  Submissions on all topics
relevant to the workshop title are welcome, including

-- Transactional memory
-- Programming constructs for concurrency
-- Formalization of concurrency libraries
-- Verification tools
-- Hardware support for correctness
-- Introducing concurrency in education

Of particular interest are position statements from those engaged in
significant case studies.

Submission deadline: April 10, 2008

Notification of acceptance: April 25, 2008

Submission instructions: Prepare a 2-4 page position paper in PDF
format using any tool you like.  The title and the name of the authors
should appear at the top of the first page.  Email this PDF document
to  The position papers will be compiled into a
booklet that will be handed out to all workshop participants on the
first day of the workshop. The papers will not be published.

At least one author of each position paper is expected to register and
attend to present the same.

For more information, visit


Rajeev Alur, University of Pennsylvania
Ganesh Gopalakrishnan, University of Utah
Vineet Kahlon, NEC Labs
Stephen Siegel, University of Delaware