WFLP: Workshop on Functional and Constraint Logic Programming

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2015 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
WFLP 2014 International Workshop on Functional and (Constraint) Logic Programming
Sep 15, 2014 - Sep 17, 2014 Lutherstadt Wittenberg, Germany Jul 10, 2014
WFLP 2013 International Workshop on Functional and (Constraint) Logic Programming
Sep 11, 2013 - Sep 13, 2013 Kiel, Germany Jun 16, 2013
WFLP 2010 19th International Workshop on Functional and (Constraint) Logic Programming
Jan 17, 2010 - Jan 17, 2010 Madrid, Spain Nov 25, 2009 (Nov 18, 2009)
 
 

Present CFP : 2014

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

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
 

Related Resources

ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
FoSSaCS 2017   20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
JFLA 2017   Journées Francophones des Langages Applicatifs
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation
PPDP 2016   18th International Symposium on Principles and Practice of Declarative Programming
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
STACS 2017   34th International Symposium on Theoretical Aspects of Computer Science