WFLP2012: 2nd Call For Papers

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 15 Feb 2012 09:10:08 +0100

********************************************************************
Call For Papers

21st International Workshop on Functional and (Constraint) Logic
Programming
WFLP2012

May 29, 2012
Nagoya, Japan
http://www2.score.cs.tsukuba.ac.jp/wflp2012/index.html

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

The Workshop on Functional and (Constraint) Logic Programming is one of
the satellite events of RTA 2012 (Nagoya, Japan).
The Workshop on 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.

** Important Dates **

Abstract submission
March 9, 2012

Full paper submission
March 16, 2012

Acceptance notification
April 23, 2012

Camera ready
May 7, 2012

Workshop
May 29, 2012

** Scope **

Topics of WFLP covers all areas of functional and (constraint) logic
programming, including but not limited to:
+ Foundations: formal semantics, rewriting and narrowing, non-monotonic
reasoning, dynamics, type theory
+ Language Design: modules and type systems, multi-paradigm languages,
concurrency and distribution
+ Implementation: abstract machines, parallelism, compile-time and
run-time optimizations, interfacing with external languages
+ Transformation and Analysis: abstract interpretation, specialization,
partial evaluation, program transformation, meta-programming
+ Software Engineering: design patterns, specification, verification and
validation, debugging, test generation
+ Integration of Paradigms: integration of declarative programming with
other paradigms such as imperative, object-oriented, concurrent, and
real-time programming
+ Applications: declarative programming in education and industry,
domain-specific languages, visual/graphical user interfaces, embedded
systems, WWW applications,
+ knowledge representation and machine learning, deductive databases,
advanced programming environments and tools

** Proceedings **

Digital publication of the proceedings will be available on the day of
the workshop as series of EasyChair proceedings. We plan to have
post-proceedings either LNCS or special issue of relevant international
journal.


** Submission Guidelines **

Authors are invited to submit papers of at most 15 pages presenting
original, not previously published works.
Papers should be prepared in LaTeX, formatted according to EasyChair
style (http://www.easychair.org/coolnews.cgi).
Papers should be submitted electronically via the easychair submission
website (https://www.easychair.org/conferences/?conf=wflp2012).

** Invited Speaker **

Masahiko Sato (Kyoto University, Japan)

** Program Chair **

Tetsuo Ida (University of Tsukuba, Japan)

** Program Committee **

Sergio Antoy (Portland State University, USA)
Rafael Caballero (University Complutense of Madrid, Spain)
Manuel Chakravarty (University of New South Wales, Australia)
Rachid Echahed (CNRS, Laboratoire LIG, France)
Sebastian Fischer (Kiel, Germany)
Michael Hanus (Christian-Albrechts-Universitat zu Kiel, Germany)
Petra Hofstedt (Brandenburg University of Technology Cottbus, Germany)
Tetsuo Ida (University of Tsukuba, Japan)
Cezary Kaliszyk (University of Innsbruck, Austria)
Herbert Kuchen (University of Muenster, Germany)
Enrico Pontelli (New Mexico State University, USA)
        
                
** Publicity **
Fadoua Ghourabi (ghourabi_at_score.cs.tsukuba.ac.jp)


-- 
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Wed Feb 15 2012 - 09:11:35 CET

This archive was generated by hypermail 2.3.0 : Fri Nov 24 2017 - 07:16:03 CET