[mercury-users] [pmoura at di.ubi.pt: CLPSE 2009 call for papers]

Zoltan Somogyi zs at csse.unimelb.edu.au
Mon Mar 16 14:34:36 AEDT 2009


This may be of interest to you.

Zoltan.

----- Forwarded message from Paulo Moura <pmoura at di.ubi.pt> -----


                           CALL FOR PAPERS

                             CLPSE 2009
                   4th International Workshop on
      (Constraint) Logic Programming and Software Engineering
                             July, 2009
      Satellite event of ICLP 2009, Pasadena, California, USA

              http://logtalk.org/workshops/clpse2009/


Topics of interest
==================

This workshop aims at discussing and exchanging experience in software
engineering topics related to developing, documenting, testing, porting,
evaluating, and maintaining large-scale (constraint) logic programming
applications. Experience backed up by industrial applications and their
evaluation will be given preference, as well as descriptions of work in
progress in that direction.

Topics include, but are not limited to:

* Experiences in developing and maintaining large-scale logic
programming applications.
* Experiences in porting applications.
* Development of portable libraries and code reuse.
* Integrated development environments for logic programming.
* Multi-paradigm applications.
* Embedded logic programming applications.
* Security issues in logic programming applications.
* Processes and software design methodologies.
* Design patterns in logic programming development.
* Metrics for logic programming development and applications.
* Implementation of domain specific languages.
* Software specification and automatic software generation.
* Rapid industrial prototyping using logic programming.
* Logic programming in network and infrastructure services.
* Logic programming based service oriented architectures.
* Logic programming in enterprise architectures.
* Integrating logic programming and databases.
* Systems interoperability using logic programming.
* Legacy re-engineering using logic programming.
* Implementing complex business rules using logic programming.

Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are invited to contact the
workshop coordinators.


Workshop Goals
==============

Our intent is to bring together, in an informal setting, people involved
both in research and in industrial work. We hope that the workshop will
provide a meeting point for people working on software engineering
topics in the context of large-scale (constraint) logic programming
applications.


History
=======

This workshop continues a tradition of successful workshops on
(Constraint) Logic Programming and Software Engineering, previously held
in London (2000), Paphos (2001), and Copenhagen (2002). 


Submission Information
======================

Authors are invited to submit regular papers, position papers, or short
papers written in English and formatted using the LNCS LaTeX style
(http://www.springeronline.com/lncs/). Regular papers should not exceed
15 pages. Position papers and short papers should not exceed 5 pages.

Regular papers should describe original unpublished research or
industrial work relevant to the topics of the workshop. Position papers
should present new ideas, vision statements, new research directions, or
advocate out-of-the-box approaches to know problems. Short papers can be
used to describe ongoing work, research project overviews, talk
abstracts, or application notes.

Paper submission is performed through EasyChair using the URL
http://www.easychair.org/conferences/?conf=clpse2009. 

At least one author of each accepted paper is expected to register and
attend the workshop to present the paper. Regular papers and position
papers will be presented and discussed in time slots of 20+10 minutes.
Short papers will be presented and discussed in time slots of 10+5
minutes.


Important Dates
===============

Submission deadline:     April 6
Notification of authors: May 18
Camera-ready copy due:   June 1
Workshop:                TBA


Organization
============

Program Committee
-----------------

Salvador Abreu   (University of Évora, Portugal)
Mats Carlsson    (Swedish Institute of Computer Science, Sweden)
Gopal Gupta      (University of Texas at Dallas, U.S.A)
Kung-Kiu Lau     (University of Manchester, U.K.)
Arun Majumdar    (Vivomind Intelligence Inc., U.S.A)
Paulo Moura      (CRACS - INESC Porto and University of Beira Interior, Portugal)
Ulrich Neumerkel (Vienna University of Technology, Austria)
António Porto    (University of Porto, Portugal)
Tom Schrijvers   (Katholieke Universiteit Leuven, Belgium)
Joachim Schimpf  (Monash University, Melbourne, Australia)
Terrance Swift   (CENTRIA, Universidade Nova de Lisboa, Portugal)
Péter Szeredi    (Budapest University of Technology and Economics, Hungary)
Paul Tarau       (University of North Texas, U.S.A)
Walter G. Wilson (Systems Development and Analysis, U.S.A)

Workshop Coordinators
---------------------

Paulo Moura
Ulrich Neumerkel

Please address any question regarding the workshop organization to the
address clpse2009 =at= logtalk.org.


Proceedings
===========

We expect to make the informal workshop proceedings available on-line at
the Computing Research Repository (http://arxiv.org/corr/home) after the
workshop. An electronic copy will be distributed during the workshop.



-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 4.3  Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura at di.ubi.pt>

Home page: <http://www.di.ubi.pt/~pmoura>
Research:  <http://logtalk.org/>
-----------------------------------------------------------------





----- End forwarded message -----
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the users mailing list