[TYPES/announce] 2nd CfP: Special journal issue on Functional and (Constraint) Logic Programming
Santiago Escobar
sescobar at dsic.upv.es
Mon Apr 11 12:14:32 EDT 2011
Special issue of Information and Computation
on
Functional and (Constraint) Logic Programming
<http://www.dsic.upv.es/~sescobar/flp-issue/>
Scope
Functional and (Constraint) Logic Programming aims at bringing
together researchers interested in functional programming,
(constraint) logic programming, as well as the integration of
the two paradigms. It promotes the cross-fertilizing exchange
of ideas and experiences among researchers and students from
the different communities interested in the foundations,
applications and combinations of high-level, declarative
programming languages and related areas.
This special issue is devoted to contributions which aim at
realizing integrations of the two classical declarative paradigms:
functional programming and (constraint) logic programming.
Contributions on functional programming or (constraint)
logic programming are also welcome but they should discuss
and effectively justify their usefulness to the integration
of both paradigms.
Submissions
Submitted papers must be original and not submitted for journal
publication elsewhere, and will be subject to the standard journal
refereeing process of the Information and Computation journal.
Submissions must be sent in pdf format to
sescobar at dsic.upv.es
no later than
May 6th, 2011
You should use the Elsevier's latex macro package, available at
http://www.elsevier.com/wps/find/authorsview.authors/elsarticle
The cover page of the submission should include the paper title,
the author names, the coordinates of the corresponding author,
and an abstract.
Guest Editors
Moreno Falaschi
Dipartimento di Scienze Matematiche e Informatiche
Facoltà di Scienze MM.FF.NN.
Università di Siena
Italy.
Santiago Escobar
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera, 14
Apdo. 22.012
E-46022 Valencia (Spain)
More information about the Types-announce
mailing list