From nzhou@acm.org Sat Feb 28 15:03:33 2009
From: nzhou@acm.org (Neng-Fa Zhou)
Date: Sat, 28 Feb 2009 10:03:33 -0500
Subject: [bp-users]Commercial Users of Logic Programming: Call for Companies
Message-ID: <002801c999b5$b99e4f20$6401a8c0@toshibauser>
This is a multi-part message in MIME format.
------=_NextPart_000_0025_01C9998B.D0988490
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
COMMERCIAL USERS OF LOGIC PROGRAMMING
CULP 2009
http://www.cs.kuleuven.be/~toms/CULP2009/
Pasadena, CA, USA -- July 13-17
Co-located with ICLP 2009
CALL FOR COMPANIES
Academic research in Logic Programming goes back at least as far as the =
early
1970s -- that is already more than 35 years. During most of that time, =
ICLP has
been the premier venue for presenting academic research, and many more =
related
workshops and symposia exist. At the same time, Logic Programming is =
being
used widely in industry. However, it has enjoyed at lot less visibility =
there,
and until now it has lacked a designated forum that brings together =
industrial
practitioners and researchers.
The goal of this first Commercial Users of Logic Programming (CULP) =
workshop is
to put the commercial and practical use (and users) of Logic Programming =
in the
spotlight. It aims at providing professionals with an opportunity to =
share
their experience, and to enable contacts with other commercial users and
academics.
If you use Logic Programming in a commercial, industrial or governmental
setting, we warmheartedly invite you to consider giving a talk at the =
workshop.
Alternatively, if you know someone who would give a talk, please forward =
this
message to them.
FORMAT
------
CULP is organized as a workshop co-located with the 25th International
Conference on Logic Programming. The workshop takes place on a date to =
be
determined between July 13-17, 2009, in the Pasadena Convention Center =
in
Pasadena, California, USA.
Presentations will have 30 minute slots, of which at least 5 are =
reserved for
discussion. They inform participants about the use of logic programming =
in an
industrial setting.
Insights and reflections on many aspects are sought. For example, but =
not
exclusively:
- Programming in the different stages and styles of commercial =
development,
- Engineering, scalability and usability issues,
- Success stories and (non-)viability of Logic Programming in particular
application areas,
- Aspects not directly related to application development, such as =
marketing,
recruitment, management,...,
- ...
Novel research results are not expected. Of course, novel fields of =
application
and novel approaches will be very welcome.
SUBMISSIONS
-----------
If you are interested in presenting at CULP 2009, send an e-mail to
tom -dot- schrijvers -at- cs -dot -kuleuven -dot -be
with your name, affiliation and a short description (at most one page)
of the proposed talk.
Full paper submissions are not required.
IMPORTANT DATES
---------------
Submission before: April 5, 2009
Notification: April 15, 2009
CULP workshop: July 13-17, 2009
CONFIRMED PRESENTATIONS
-------------------------
The following companies have already confirmed to give a presentation.
- Logic Blox http://www.logicblox.com/
- Logisoft Solutions LLC http://www.logicalsoft.net/
- Scientific Software and Systems Ltd. http://www.sss.co.nz/
- US Department of Defense
- XSB Inc. http://www.xsb.com/
------=_NextPart_000_0025_01C9998B.D0988490
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
=
COMMERCIAL=20
USERS OF LOGIC=20
PROGRAMMING
&nbs=
p;  =
; =
=20
CULP 2009
http://www.cs.kuleuven.be/~toms/CULP2009/
&nbs=
p; =20
Pasadena, CA, USA -- July 13-17
Co-located with ICLP=20
2009
CALL FOR COMPANIES
Academic research in Logic=20
Programming goes back at least as far as the early
1970s -- that is =
already=20
more than 35 years. During most of that time, ICLP has
been the =
premier venue=20
for presenting academic research, and many more related
workshops and =
symposia exist. At the same time, Logic Programming is =
being
used=20
widely in industry. However, it has enjoyed at lot less visibility =
there,
and=20
until now it has lacked a designated forum that brings together=20
industrial
practitioners and researchers.
The goal of this =
first=20
Commercial Users of Logic Programming (CULP) workshop is
to put the=20
commercial and practical use (and users) of Logic Programming in=20
the
spotlight. It aims at providing professionals with an opportunity =
to=20
share
their experience, and to enable contacts with other commercial =
users=20
and
academics.
If you use Logic Programming in a commercial,=20
industrial or governmental
setting, we warmheartedly invite you to =
consider=20
giving a talk at the workshop.
Alternatively, if you know someone who =
would=20
give a talk, please forward this
message to=20
them.
FORMAT
------
CULP is organized as a workshop =
co-located with the 25th International
Conference on Logic =
Programming. The=20
workshop takes place on a date to be
determined between July 13-17, =
2009, in=20
the Pasadena Convention Center in
Pasadena, California,=20
USA.
Presentations will have 30 minute slots, of which at least 5 =
are=20
reserved for
discussion. They inform participants about the use of =
logic=20
programming in an
industrial setting.
Insights and reflections =
on many=20
aspects are sought. For example, but not
exclusively:
- =
Programming in the=20
different stages and styles of commercial development,
- Engineering, =
scalability and usability issues,
- Success stories and =
(non-)viability of=20
Logic Programming in particular
application areas,
- =
Aspects=20
not directly related to application development, such as=20
marketing,
recruitment, management,...,
- =
...
Novel=20
research results are not expected. Of course, novel fields of =
application
and=20
novel approaches will be very=20
welcome.
SUBMISSIONS
-----------
If you are =
interested in=20
presenting at CULP 2009, send an e-mail=20
to
tom -dot- schrijvers -at- cs =
-dot=20
-kuleuven -dot -be
with your name, affiliation and a short =
description (at=20
most one page)
of the proposed talk.
Full paper submissions =
are not=20
required.
IMPORTANT DATES
---------------
=
Submission=20
before: April 5, =
2009
=20
Notification: April 15, 2009
CULP workshop: July 13-17,=20
2009
CONFIRMED =
PRESENTATIONS
-------------------------
The=20
following companies have already confirmed to give a =
presentation.
=20
- Logic Blox http://www.logicblox.com/
- =
Logisoft=20
Solutions LLC http://www.logicalsoft.net/
=
-=20
Scientific Software and Systems Ltd. http://www.sss.co.nz/
- US =
Department=20
of Defense
- XSB=20
Inc. &nb=
sp; &nbs=
p;  =
; =20
http://www.xsb.com/
------=_NextPart_000_0025_01C9998B.D0988490--
From pmoura@di.ubi.pt Fri Feb 27 16:29:36 2009
From: pmoura@di.ubi.pt (Paulo Moura)
Date: Fri, 27 Feb 2009 16:29:36 +0000
Subject: [bp-users]CFP: CLPSE 2009 - 4th International Workshop on (Constraint) Logic Programming and Software Engineering
Message-ID:
(apologies for duplicates of this message)
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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
=3D=3D=3D=3D=3D=3D=3D
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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=3Dclpse2009.
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Submission deadline: April 6
Notification of authors: May 18
Camera-ready copy due: June 1
Workshop: TBA
Organization
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Program Committee
-----------------
Salvador Abreu (University of =C9vora, 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 =20
Interior, Portugal)
Ulrich Neumerkel (Vienna University of Technology, Austria)
Ant=F3nio 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=E9ter Szeredi (Budapest University of Technology and Economics, =20
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 =3Dat=3D logtalk.org.
Proceedings
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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=E3, Portugal
Office 4.3 Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email:
Home page:
Research:
-----------------------------------------------------------------