[TYPES/announce] WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9

Julio Mariño jmarino at fi.upm.es
Mon Oct 26 13:04:58 EDT 2009


[LNCS + Invited Speaker; Abstract due Nov 9]

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

              19th International Workshop on Functional
                  and (Constraint) Logic Programming

                   Madrid, Spain, January 17, 2010
              http://babel.ls.fi.upm.es/events/wflp2010/

                              *********
                            colocated with
                 Principles of Programming Languages
                              POPL 2010
                   http://www.cse.psu.edu/popl/10/

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

IMPORTANT DATES

Abstract Submission: November 9, 2009
Full Paper Submission: November 15, 2009
Acceptance Notification: December 15, 2009
Preliminary Proceedings: January 5, 2010
Workshop: January 17, 2010

SCOPE

The aim of the Workshop on Functional and (Constraint) Logic
Programming is to bring together researchers interested in functional
programming and (constraint) logic programming with special emphasis
on the integration of both paradigms and of other declarative
programming extensions. 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.

The previous WFLP editions are: WFLP 2009 (Brasilia, Brazil), WFLP
2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid,
Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany),
WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001
(Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble,
France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg,
Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg,
Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg,
Germany), and WFLP'92 (Karlsruhe, Germany).

LOCATION

WFLP 2010 will be held on January 17, 2010 in Madrid, Spain, colocated
with the 37th ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages (POPL 2010).

WFLP 2010 solicits papers in all areas of functional and (constraint)
logic programming, including but not limited to:

 * Foundations: formal semantics, logic variables, binding and
   abstract syntax, rewriting and narrowing, unification, constraint
   solving, dynamics, type theory, meta-theory, effects, etc.

 * Language Design: security, services, modules, type systems,
   multi-paradigm languages, concurrency and distribution, objects,
   libraries, generic programming, interoperability, etc.

 * Implementation: abstract machines, parallelism, compile-time and
   run-time optimizations, foreign-language interfaces, memory
   management, multi-threading, exploiting parallel hardware, etc.

 * Transformation and Analysis: abstract interpretation,
   specialization, partial evaluation, program transformation, program
   calculation, program proof, meta-programming, generative
   programming, etc.

 * Software Development: algorithms, data structures, design patterns,
   components and composition, specification, proof assistants,
   verification and validation, model checking, debugging, testing,
   profiling, tracing, etc.

 * Paradigm Integration: integration of declarative programming with
   other paradigms or features such as imperative, object-oriented,
   aspect-oriented, concurrent, real-time programming, event-driven
   architectures, etc.

 * Applications: education, industry, commercial uses, domain-specific
   languages, visual/graphical user interfaces, embedded systems, WWW
   applications, XML processing, artificial intelligence, knowledge
   representation and machine learning, deductive databases, advanced
   programming environments and tools, etc.

SUBMISSIONS and PROCEEDINGS

Authors are invited to submit papers presenting original unpublished
work. Papers must be at most 15 pages long. Exceptionally, authors may
surpass the page limit by providing well-marked appendices intended as
reviewing aids. Appendices will not appear in the final publication.

Submission categories include regular research papers, system
descriptions, and short papers describing on-going work (at most 8
pages).

Submissions must be formatted in Lecture Notes in Computer Science
(LNCS) style. This requirement needs not apply to appendices.

Papers should be submitted in pdf format electronically
via the web-based submission site
http://www.easychair.org/conferences/?conf=wflp2010

Preliminary proceedings will be available at the workshop. Selected
authors will be invited to submit  a  full version of their papers
after the workshop. Contributions accepted for the post-workshop
proceedings will be published in Springer's Lecture Notes in Computer
Science series.

INVITED SPEAKER

Mariangiola Dezani (University of Torino, Italy)

PROGRAM CHAIR

Julio Marino (Universidad Politecnica de Madrid, Spain)

PROGRAM COMMITTEE

Maria Alpuente (Universidad Politecnica de Valencia, Spain)
Sergio Antoy (Portland State University, USA)
Bernd Brassel (CAU Kiel, Germany)
Olaf Chitil (Univ. of Kent, UK)
Rachid Echahed (CNRS-IMAG, France)
Santiago Escobar (Universidad Politecnica de Valencia, Spain)
Moreno Falaschi (Universita di Siena, Italy)
Murdoch Gabbay (Heriot-Watt University, UK)
Maria Garcia de la Banda (Monash University, Australia)
Victor Gulias (Lambdastream SL, Spain)
Michael Hanus (CAU Kiel, Germany)
Herbert Kuchen (Univ. of Muenster, Germany)
Francisco Lopez-Fraguas (Universidad Complutense de Madrid, Spain)
James Lipton (Wesleyan University, USA)
Mircea Marin (Univ. of Tsukuba, Japan)
Juan Jose Moreno-Navarro (Ministry of Science & Innovation, Spain)
Brigitte Pientka (McGill University, Canada)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20091026/aceedfa3/attachment-0001.htm


More information about the Types-announce mailing list