********************************************************************
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)
[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)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
