Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] DAMP 2009 CFP


view this post on Zulip Email Gateway (Aug 18 2022 at 12:27):

From: Manuel Carro <mcarro@fi.upm.es>
C a l l f o r P a p e r s

DAMP 2009: Workshop on Declarative Aspects of Multicore Programming

Savannah, Georgia, USA --- January 20, 2009
(co-located with POPL 2009)

DAMP 2009 is the fourth in a series of one-day workshops seeking to
explore ideas in programming language design that will greatly
simplify programming for multicore architectures, and more
generally for tightly coupled parallel architectures. DAMP 2009 is
co-located with the ACM SIGPLAN - SIGACT Symposium on Principles of
Programming Languages (POPL 2009).

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

For further information, a CFP flyer, and details on paper
submissions, see

http://www.cse.unsw.edu.au/~pls/damp09/

Paper submission deadline is 10th October 2008!


Last updated: Nov 21 2024 at 12:39 UTC