[SMT-LIB] 2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming

[Johannes Waldmann]

Dear colleague, I'd like to draw your attention to the WFLP workshop -
for historic reasons, it has "Constraint" in parentheses only
but we definitely welcome contributions on the combination of
constraints (as in SMT) and functional/logic programming. - Johannes.

***********************************************************

23rd International Workshop
on Functional and (Constraint) Logic Programming

http://www.imn.htwk-leipzig.de/WFLP2014/

colocated with 28th Workshop
on (Constraint) Logic Programming (WLP 2014)

September 15 - 17, at Leucorea conference center
in Lutherstadt Wittenberg, Germany.

***********************************************************

Dates:

* submission closes: July 10, 2014
* notification: August 4, 2014
* final version due: September 1, 2014
* workshop: September 15 - 17, 2014

***********************************************************

The international workshops on functional and logic programming aim at
bringing together researchers interested in functional programming,
logic programming, as well as their integration. The workshops on
(constraint) logic programming serve as the scientific forum of the
annual meeting of the Society of Logic Programming (GLP e.V.) and bring
together researchers interested in logic programming, constraint
programming, and related areas like databases, artificial intelligence,
and operations research.

In this year both workshops will be jointly organized and co-located, in
order to promote 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. The technical
program of the workshop will include invited talks, presentations of
refereed papers and demo presentations.

The joint workshop will consist of two tracks (WFLP and WLP). Sessions
of these two tracks will be interleaved.

************************************************************

Topics

The topics of interest include (but are not limited to):

    Functional programming
    Logic programming
    Constraint programming
    Deductive databases, data mining
    Extensions of declarative languages, objects
    Multi-paradigm declarative programming
    Foundations, semantics, nonmonotonic reasoning, dynamics
    Parallelism, concurrency
    Program analysis, abstract interpretation
    Program transformation, partial evaluation, meta-programming
    Specification, verification, declarative debugging
    Knowledge representation, machine learning
    Interaction of declarative programming with other formalisms (e.g.,
agents, XML, Java)
    Implementation of declarative languages
    Advanced programming environments and tools
    Software technique for declarative programming
    Applications

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, application systems, or interesting experiments (e.g.,
benchmarks) are also encouraged.

************************************************************

Program Committee (WFLP track)

    Elvira Albert, Complutense University of Madrid, Spain
    Sergio Antoy, Portland State University
    Mauricio Ayala-Rincon, University of Brasilia, Brazil
    William Byrd, University of Utah
    Michael Hanus , Universität Kiel, Germany
    Herbert Kuchen, Universität Münster, Germany
    Carlos Olarte, DECC, Pontificia Universidad Javeriana Cali, Colombia
    Janis Voigtländer, Universität Bonn, Germany
    Johannes Waldmann (chair), HTWK Leipzig, Germany
    Peter J. Stuckey, NICTA and the University of Melbourne, Australia
    René Thiemann, University of Innsbruck, Austria

Organising Committee

    Stefan Brass (chair) Universität Halle, Germany


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 246 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-lib/attachments/20140626/05a845aa/attachment.asc>