473,322 Members | 1,510 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,322 software developers and data experts.

[CFP] WLPE'06 - Workshop on (logic-based) Programming Environments

-----------------------------------------------------------

WLPE' 06 - CALL FOR PAPERS

Workshop on Logic-based Methods in
Programming Environments

(satellite workshop of ICLP’06)

August 16, 2006
Seattle (Washington), USA

http://lml.ls.fi.upm.es/~susana/Conferences/WLPE06/
-----------------------------------------------------------

Aim and Scope
-------------

The 16th Workshop on Logic-based methods in Programming Environments
will take place in Seattle (Washington), USA, as a satellite workshop
of ICLP'06, the 22th International Conference on Logic Programming.
This workshop will continue the series of successful international
workshops on logic programming environments held in Ohio, USA (1989),
Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992),
Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994),
Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997),
Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark
(2002), Mumbai, India (2003), Saint Malo, France (2004) and Sitges,
Spain (2005).

The workshop aims at providing an informal meeting for the researchers
working on logic-based tools for development and analysis of programs.
This year we want to emphasize two aspects: on one hand we want to
discuss the presentation, pragmatics and experiences of such tools; on
the other one, we want to shift the traditional focus on environment
tools for logic programming to logic-based environmental tools for
programming in general. Specific topic areas relevant to the workshop
include, but are not limited to:

* tools for debugging and testing
* tools for static and dynamic analysis
* systems for program verification and validation
* code generation from specifications
* termination and non-termination analyzers
* reasoners on occurs-check freeness and determinacy
* profilers and performance analyzers
* systems for types and modes analyzes
* module systems
* optimization tools.

In addition to papers describing more conceptual work on environmental
tools, we solicit papers describing the implementation of and
experimentation with such tools.

Submission guidelines
---------------------

Length of papers can range from 2 to 17 pages, preferably in LNCS
format. Authors are requested to submit their paper using the
submission webpage at http://vampire.cs.man.ac.uk/WLPE-06/

Alternatively, authors can send a copy of their paper (in pdf or ps
format) to the workshop coordinator (wv*@info.fundp.ac.be).

An informal proceedings will be published as a technical report of the
University of Namur and distributed at the workshop. After the workshop,
the proceedings will be publicly available on-line in the Computing
Research Repository (CoRR).
Important dates
---------------
Submission: May 15, 2006
Notification: June 15, 2006
Camera-ready: July 10, 2006
Workshop: August 16, 2006

Workshop organizers
-------------------

Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
Wim Vanhoof (coordinator) (Univeristy of Namur, Belgium)

Program Committee
-----------------
María Alpuente (Universidad Politécnica de Valencia, Spain)
Mireille Ducassé (INSA/IRISA, Rennes, France)
John Gallager (Roskilde University, Denmark)
María García de la Banda (Monash University, Australia)
José Manuel Gómez-Pérez (ISOCO Madrid, Spain)
Gopal Gupta (University of Texas at Dallas, U.S.A)
Moreno Falaschi (Università di Udine, Italy)
Pat Hill (University of Leeds, U.K.)
Michael Leuschel (Heinrich-Heine-Universitat Düsseldorf, Germany)
Fred Mesnard (Université de La Réunion, France)
Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
Kostis Sagonas (Uppsala University, Sweden)
Alexander Serebrenik (Technische Universiteit Eindhoven, The
Netherlands)
Zoltan Somogyi (University of Melbourne, Australia)
Wim Vanhoof (University of Namur, Belgium)

May 3 '06 #1
0 2446

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

0
by: Constandinos Mavromoustakis | last post by:
CFP: CLADE 2004-Challenges of Large Applications in Distributed Environments ------------------------------------------------- PhD student - Dept.Informatics at Aristotle University of...
16
by: Feico | last post by:
Dear friends I am an experienced programmer, but I happen to have MS Access, which uses a language unknown to me. I want to perform an operation on all record on a table, like this For...
42
by: Kevin Spencer | last post by:
Is it just me, or am I really observing a trend away from analysis and probem-solving amongst programmers? Let me be more specific: It seems that every day, in greater numbers, people are coming...
0
by: Pascal Costanza | last post by:
Dynamic Languages Day @ Vrije Universiteit Brussel ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Monday, February 13, 2006, VUB Campus Etterbeek The VUB (Programming Technology Lab,...
0
by: C.Kloukinas | last post by:
Dear colleagues, please consider submitting a paper to the 18th International Conference on Software Engineering and Knowledge Engineering (SEKE'06) and the subsequent special issue of the...
0
by: Wim Vanhoof | last post by:
----------------------------------------------------------- WLPE' 06 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP’06) August...
0
by: leichen | last post by:
Call for Papers XWICT 2006 International Workshop on XML, Web, and Internet Contents Technologies June 17, 2006 Hong Kong, China http://www.cs.ust.hk/~xwict06/ in conjunction with WAIM...
0
by: Wim Vanhoof | last post by:
----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) ...
0
by: DolphinDB | last post by:
Tired of spending countless mintues downsampling your data? Look no further! In this article, you’ll learn how to efficiently downsample 6.48 billion high-frequency records to 61 million...
0
by: ryjfgjl | last post by:
ExcelToDatabase: batch import excel into database automatically...
0
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: Vimpel783 | last post by:
Hello! Guys, I found this code on the Internet, but I need to modify it a little. It works well, the problem is this: Data is sent from only one cell, in this case B5, but it is necessary that data...
1
by: PapaRatzi | last post by:
Hello, I am teaching myself MS Access forms design and Visual Basic. I've created a table to capture a list of Top 30 singles and forms to capture new entries. The final step is a form (unbound)...
1
by: Defcon1945 | last post by:
I'm trying to learn Python using Pycharm but import shutil doesn't work
1
by: Shællîpôpï 09 | last post by:
If u are using a keypad phone, how do u turn on JavaScript, to access features like WhatsApp, Facebook, Instagram....
0
by: af34tf | last post by:
Hi Guys, I have a domain whose name is BytesLimited.com, and I want to sell it. Does anyone know about platforms that allow me to list my domain in auction for free. Thank you
0
isladogs
by: isladogs | last post by:
The next Access Europe User Group meeting will be on Wednesday 3 Apr 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM). In this session, we are pleased to welcome former...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.