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

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

http://www.cs.utah.edu/ec2/

Call for Position Papers
     Exploiting Concurrency Efficiently and Correctly ((EC)^2)
                        CAV 2008 Workshop
                  July 7-8, 2008, Princeton, NJ
                   http://www.cs.utah.edu/ec2/

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

Format:

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 ec2@cis.udel.edu.  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 http://www.cs.utah.edu/ec2/

Organizers:

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