[isabelle] DAMP 2009 CFP




			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!






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.