Jacob Johannsen | 2 May 21:43 2014
Picon
Picon

PPDP 2014: 2nd Call for Papers

======================================================================

			 2nd Call for papers
		   16th International Symposium on
	  Principles and Practice of Declarative Programming
			      PPDP 2014

		Canterbury, Kent, September 8-10, 2014
		    (co-located with LOPSTR 2014)

		 http://users-cs.au.dk/danvy/ppdp14/
				
======================================================================

		  SUBMISSION DEADLINE: 15 MAY, 2014

PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to

* Functional programming
* Logic programming
(Continue reading)


Gmane