CALL FOR PAPERS
1st Workshop on
VERIFICATION AND DEBUGGING
Associated with CAV 2006
Knowing that a design violates its specification is only the first
step towards a correct system. The violation may be caused by a fault
in the design, but also by an error in the specification or in the
environment constraints. A designer needs to understand the violation
and to locate and correct the fault that causes it.
Industrial experience shows that fault localization and rectification
take much more time, effort, and expense than fault detection. Also,
debugging often takes place late in the design cycle, which makes it a
high-risk activity that may, if not done quickly and correctly, delay
the release of a product.
The workshop addresses the technologies and methodologies that need to
be employed after verification has detected the presence of a bug. It
aims to combine the efforts of the computer-aided verification and
software engineering communities, attracting work in the areas of
algorithms, tools, and methodologies for failure analysis. We welcome
submissions addressing debugging of software, circuit designs, or
combinations of the two.
Topics of interest include
* explanation and simplification of error traces,
* fault localization,
* rectification of the design, the specification, or the
environment description,
* test case generation for debugging,
* debugging techniques,
* methodologies that facilitate debugging,
* overviews that provide a novel view of the state of the art and
stimulate discussion and further research, and
* empirical studies on debugging.
Papers should contain original research, and sufficient detail to
assess the merits and relevance of the contribution. For papers
reporting experimental results, authors are strongly encouraged to
make their data available with their submission. Simultaneous
submission to other conferences with proceedings or submission of
material that has already been published elsewhere is not allowed.
Accepted papers will be published in a special issue of Elsevier's
Electronic Notes in Theoretical Computer Science. Papers should be at
most 19 pages long in ENTCS format.
Important Dates
* Paper submission deadline: 24 April 2006
* Notice of acceptance/rejection: 22 May 2006
* Final version due: 19 June 2006
* CAV conference: 16-20 August
* V&D Workshop 21 August '06
The 2006 conference on Computer-Aided Verification will be a part of
the Federated Logic Conference in Seattle. The workshop will be held
the day after CAV.
Further info
See http://www.ist.tugraz.at/vandd.html. The program committee can be
reached at vandd2006(a)ist.tu-graz.ac.at.
For further info on FLOC, see http://research.microsoft.com/floc06/.
Program Committee
Roderick Bloem (Graz University of Technology),
Alex Groce (Laboratory for Reliable Software, Jet Propulsion Laboratory),
John Moondanos (Future Formal Technologies Group, Logic Design Group, Intel),
Marco Roveri (ITC-irst),
Fabio Somenzi (University of Colorado at Boulder),
Markus Stumptner (University of South Australia), and
Andreas Zeller (University of Saarbruecken).
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[Apologies for multiple postings]
-----------------------------------------------------------
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 (wva(a)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)
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
=======================================================================
Call For Papers
CICLOPS 2006
Colloquium on Implementation of Constraint LOgic Programming Systems
http://www.cs.nmsu.edu/lldap/CICLOPS06
August 21, 2006
To be held in conjunction with
22nd International Conference on Logic Programming
Seattle, Washington
=======================================================================
Workshop Motivation
====================
The last years have witnessed continuous progress in the technology
available both for academic and commercial computing environments.
Examples include more processor performance, increased memory capacity
and bandwidth, faster networking technology, and operating system
support
for cluster computing. These improvements, combined with recent
advances in
compilation and implementation technologies, are causing high-level
languages to be regarded as good candidates for programming complex,
real world applications. Techniques aiming at achieving flexibility in
the language design make powerful extensions easier to implement; on
the other hand, implementations which reach good performance in terms
of speed and memory consumption make declarative languages and systems
amenable to develop non-trivial applications.
Logic Programming and Constraint Programming, in particular, seem to
offer
one of the best options, as they couple a high level of abstraction
and a
declarative nature with an extreme flexibility in the design of their
implementations and extensions and of their execution model. This
adaptability is key to, for example, the implicit exploitation of
alternative execution strategies tailored for different applications
(e.g., for domain-specific languages) without unnecessarily jeopardizing
efficiency.
This workshop continues a tradition of successful workshops on
Implementations of Logic Programming Systems, previously held with in
Budapest (1993) and Ithaca (1994), the Compulog Net workshops on
Parallelism and Implementation Technologies held in Madrid (1993 and
1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages
(ParImp) held in Port Jefferson (1997), Manchester (1998), Las Cruces
(1999), and London (2000), and more recently the Colloquium on
Implementation of Constraint and LOgic Programming Systems (CICLOPS) in
Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint-Malo
(France, 2004), and Sitges (Spain, 2005), and the CoLogNet Workshops on
Implementation Technology for Computational Logic Systems held in Madrid
(2002), Pisa (2003) and Saint-Malo (France, 2004).
Workshop Description
====================
The workshop aims at discussing and exchanging experience on the design,
implementation, and optimization of logic and constraint (logic)
programming
systems, or systems intimately related to logic as a means to express
computations. Preference will be given to the analysis and description of
implemented (or under implementation) systems and their associated
techniques, problems found in their development or design, and steps
taken
towards the solutions.
The workshop topics include, but are not limited to:
- Implementation of standard/alternative sequential models
(generalization
and modification of the WAM, translation to lower-level and/or
general-purpose languages, etc.);
- Implementation of parallel/concurrent models;
- Interaction between high-level optimizations/transformations and lower-
level issues;
- Compile-time analysis and its application to code generation;
- Balance between compile-time effort and run-time machinery;
- Memory management, indexing, and garbage collection issues;
- Profiling tools and performance evaluation;
- Implementation techniques for declarative programming paradigms with
basis on, or extending, logic and constraint programming, such as
non-monotonic reasoning, inductive logic programming, natural language
processing systems, etc;
- Software desing with and for (C)LP systems: components, patterns, etc.;
- Design and implementation of programming environments;
- Experiences from using systems in real-life applications.
Workshop Format
===============
The workshop will emphasize discussion and cross-fertilization, so
presentations will be balanced with discussion time. In this direction,
the workshop is seeking high quality papers that address cutting-edge
research in this field, and that can contribute to the discussion.
The agenda will include paper presentations, a panel discussion, and
possibly an invited speaker. At least one author of each accepted
submission is expected to attend the workshop.
Important Dates
===============
Submission Deadline: June 1st, 2006 (strict)
Notifications to Authors: July 1st, 2006
Final Version Deadline: July 20th, 2006
CICLOPS 2006 Workshop: August 21st, 2006
Submission Guidelines
=====================
Participants should submit a paper (maximum 15 pages, PDF
format), describing their work in topics relevant to the
workshop. Accepted papers will be presented during the workshop.
At least one author of an accepted contribution is expected to
register for the workshop, and present the paper.
All submissions should include the author's name(s),
affiliation, complete mailing address, and email address.
Authors are requested to prepare their submissions, following
the LNCS/LNAI Springer format. Please see:
http://www.springer.de/comp/lncs/authors.html
for further details.
The submission should be submitted through the electronic
submission site, accessible via the workshop web page.
The deadline for receipt of submissions is June 1, 2006.
Papers received after this date may not be reviewed.
Eligible papers will be peer-reviewed by at least three
members of the Program Committee.
Authors will be notified via email of the results by July 1,
2006. Authors of accepted papers are expected to improve
their paper based on reviewers' comments and to send a camera
ready version of their manuscripts by July 20, 2006.
Accepted papers will be included in the workshop proceedings,
which will be distributed to the participants.
Questions about submissions may be directed to
haifengguo <AT> mail <DOT> unomaha <DOT> edu
Organizing Committee
====================
Hai-Feng Guo (University of Nebraska at Omaha)
Enrico Pontelli (New Mexico State University)
Program Committee
=================
Manuel Carro (Polytechnic University of Madrid)
Bart Demoen (KUL Leuven)
Michel Ferreira (University of Porto)
Hai-Feng Guo (University of Nebraska at Omaha)
Gopal Gupta (University of Texas at Dallas)
Enrico Pontelli (New Mexico State University)
Vitor Santos Costa (Federal University of Rio de Janeiro)
Tom Schrijvers (KUL Leuven)
Christian Schulte (University of Uppsala)
Neng-Fa Zhou (City University of New York)
Contact Information
===================
Hai-Feng Guo
University of Nebraska at Omaha
Department of Computer Science
6001 Dodge Street
Omaha, NE 68182, USA
haifengguo <AT> mail <DOT> unomaha <DOT> edu
Enrico Pontelli
New Mexico State University
Department of Computer Science
Box 30001, MSC CS
Las Cruces, NM 88003, USA
epontell <AT> cs <DOT> nmsu <DOT> edu
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
- Apologies if you receive multiple copies of this message
- Please pass this announcement to your students and colleagues
------------------
International Conference on Logic Programming
Doctoral Consortium
Seattle, WA, USA
August 17-20, 2006
http://www.cs.nmsu.edu/~epontell/DC2006
-----------
The ICLP Doctoral Consortium (DC) is the second doctoral
consortium to be offered as part of the International Conference
on Logic Programming. The DC will take place during ICLP 2006 in
Seattle, Washington (USA). The Doctoral Consortium is designed for
doctoral students working in areas related to logic programming,
who are planning to pursue a career in academia. The Doctoral
Consortium aims to provide students with an opportunity to present
and discuss their research directions and to obtain feedbacks from
peers as well as world-renown experts in the field. The Doctoral
Consortium will also offer invited speakers and panels discussions.
------------
The Doctoral Consortium is held the during the regular activities
of the ICLP 2006 Conference. The aims of the Doctoral Consortium
are:
* To provide doctoral students working in the field of
logic and constraint programming with a friendly and
open forum to present their research ideas, listen to
ongoing work from peer students, and receive constructive
feedback
* To provide students with relevant information about
important issues for doctoral candidates and future
academics
* To develop a supportive community of scholars and a
spirit of collaborative research.
* To support a new generation of researchers with information
and advice on academic, research, industrial, and non-
traditional career paths.
The Consortium is designed for students currently enrolled in a Ph.D.
program, though we are also open to exceptions (e.g., students
currently in a Masters program and interested in doctoral studies).
The Consortium is for students at any stage of their doctoral studies
are welcome to apply. Applicants are expected to be conducting research
in the field of Logic Programming; topics of interest include (but
are not limited to):
* Theoretical Foundations of Logic and Constraint Logic
Programming
* Sequential and Parallel Implementation Technology
* Static and Dynamic Analysis, Abstract Interpretation,
Compilation Technology, Verification
* Logic-based Paradigms (e.g., Answer Set Programming,
Concurrent Logic Programming, Inductive Logic Programming)
* Innovative Applications of Logic Programming
The Consortium allows participants to interact with established
researchers and with other students, through presentations, question-
answer sessions, panel discussions, and invited presentations. The
Doctoral Consortium will provide the possibility to reflect - through
short activities, information sessions, and discussions - on the
process and lessons of research and life in academia. Each participant
will give a short, critiqued, research presentation.
The Doctoral Consortium will be held on a date to be determined, in
parallel with the regular activities of the ICLP 2006 conference; the
ICLP conference will run from August 17th to August 20th, 2006. Doctoral
Consortium participants will be offered the opportunity to have their
abstracts published in the ICLP 2006 conference proceedings.
Discussants:
Several renown faculty members and researchers in the field of Logic
Programming will join in evaluating the submission packets and will
participate in the Doctoral Consortium, providing feedback to the
presenters. The list of the discussants will be published at a later
date.
--------
Detailed submission instructions can be found in the ICLP 2006
Doctoral Consortium web site, at:
http://www.cs.nmsu.edu/~epontell/DC2006
--------
Important Dates
Submission Deadline: April 1st, 2006
Acceptance Notification: April 15th, 2006
Last Date to Update
Research Summary: May 2nd, 2006
Doctoral Consortium: August 17-20, 2006 (tba)
ICLP 2006 Conference: August 17-20, 2006
------------
Doctoral Consortium Chair:
Enrico Pontelli
Department of Computer Science
New Mexico State University
MSC CS, Box 30001
Las Cruces, NM 88003, USA
epontell _a_t_ cs _dot_ nmsu _dot_ edu
--
-------------------------------------------------------------------------
Knowledge representation, Logic | email: epontell(a)cs.nmsu.edu
and Advanced Programming (KLAP) | enrico(a)acm.org
Department of Computer Science | www: http://www.cs.nmsu.edu/~epontell
Box 30001, Dept. CS |
New Mexico State University | Ph: +1 (505) 646 6239
Las Cruces, NM 88003-0001 | Fax: +1 (505) 646 1002
USA |
-------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
=================== [Apologies for multiple copies] ===================
MACIS 2006 - International Conference on
Mathematical Aspects of Computer and Information Sciences
http://www.cc4cm.org/macis2006
Beijing, China, July 22-24, 2006
CALL FOR PAPERS
Mathematical Aspects of Computer and Information Sciences (MACIS) is
a new series of conferences where foundational research on theoretical
and practical problems of mathematics for computing and information
processing may be presented and discussed. MACIS also addresses
experimental and case studies, scientific and engineering computation,
design and implementation of algorithms and software systems, and
applications of mathematical methods and tools to outstanding and
emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes. The themes (with
specific topics) for MACIS 2006 are:
* Modeling and Analysis of Complex Systems
Mathematical modeling and dynamics of complex systems; symbolic
and numeric analysis of complex systems; stability, sensitivity,
and complexity analysis; stochastic dynamic systems; physical
systems; biological systems; modeling of space materials and
environments; information processing in complex systems; statistical
physics; computer simulation; computational techniques and tools
* Symbolic and Numeric Computation
Algebraic, symbolic, and symbolic-numeric methods for equation
solving, linear and polynomial algebra, ODE/PDE, and dynamic
systems; geometric computing, reasoning, and modeling; software
design and implementation; applications in mathematics, statistics,
system science, computer science, physical and biological sciences,
engineering, economics, and finance
* Algorithms and Complexity
Algorithm design and implementation; symbolic and numeric algorithms;
parallel and distributed algorithms; algebraic and geometric
algorithms; analysis of algorithms; complexity theory; theoretical
and practical complexity analysis; computability theory; automata
theory
INVITED SPEAKERS
Hirokazu Anai (Fujitsu Laboratories Ltd., Japan)
Dan Braha (University of Massachusetts at Dartmouth and New England
Complex Systems Institute, USA)
Andreas Dress (CAS-MPG Partner Institute for Computational Biology,
China)
Remi Monasson (Ecole Normale Superieure - CNRS, France)
Lan Wen (Peking University, China)
SUBMISSION
Potential participants of MACIS 2006 are invited to submit extended
abstracts (3-4 pages) or full papers describing their work to be
presented at the conference. The submitted extended abstracts and
full papers will be reviewed by members of the program committee (PC)
for soundness and relevance to the conference. Submission of original
research papers is encouraged, while published material and work in
progress will also be considered for presentation at the conference.
Extended abstracts and full papers should be prepared using LaTeX
with the style file available on the MACIS 2006 web and according to
the instructions given therein. Electronic submissions are preferred,
and should be sent in PDF or PS format as e-mail attachments to the
PC chair:
Professor Dongming Wang, School of Science
Beihang University, Beijing 100083, China
E-mail Dongming.Wang(a)lip6.fr - Fax +86 10 8233 8311
Accepted extended abstracts and full papers will be printed in the
proceedings of MACIS 2006 for distribution at the conference.
Authors of the extended abstracts and full papers accepted for
presentation at the conference will be invited to submit their full
and/or revised papers for publication in a post-proceedings volume or
special journal issues after the meeting. The submitted papers will
be formally reviewed by PC members and external referees. The volume
or special issues containing the finally accepted papers will be
published by an international publisher.
IMPORTANT DATES
Deadline for extended abstract submission: April 16, 2006
Notification of acceptance or rejection: May 15, 2006
Conference taking place: July 24-26, 2006
Deadline for full paper submission: October 15, 2006
GENERAL CHAIR
Zhiming Zheng (Beihang University, China)
PROGRAM COMMITTEE
Dongming Wang (Beihang University, China and UPMC-CNRS, France), Chair
Yaneer Bar-Yam (New England Complex Systems Institute, USA)
Luis M. A. Bettencourt (Los Alamos National Laboratory, USA)
Lenore Blum (Carnegie Mellon University, USA)
Jean-Louis Deneubourg (Universite Libre de Bruxelles, Belgium)
Jean-Charles Faugere (Universite Pierre et Marie Curie - CNRS, France)
Ilias S. Kotsireas (Wilfrid Laurier University, Canada)
Ming Li (University of Waterloo, Canada)
Benoit Perthame (Ecole Normale Superieure, France)
Stefan Ratschan (Max-Planck Institut fuer Informatik, Germany)
Peter F. Stadler (Universitaet Wien, Austria)
Bican Xia (Peking University, China)
Chee K. Yap (New York University, USA)
Kazuhiro Yokoyama (Rikkyo University, Japan)
Riccardo Zecchina (International Centre for Theoretical Physics, Italy)
LOCAL ARRANGEMENTS
Zongsheng Gao (Beihang University, China), Chair
Sheng Cao (Beihang University, China)
Tian Luo (Beihang University, China)
=========== [Related event: http://www.cc4cm.org/aisc2006/] ===========
AISC 2006 - 8th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Beijing, China, September 20-22, 2006
=======================================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[Our apologies if you receive multiple copies]
-----------------------------------------------------------------------
WRS06
The Sixth International Workshop on
Reduction Strategies in Rewriting and Programming
http://www.cs.pdx.edu/~antoy/wrs06/
The Seattle Sheraton Hotel and Towers,
Seattle, Washington, August 11, 2006
Scope
The workshop intends to promote and stimulate international
research and collaboration in the area of evaluation
strategies. It encourages the presentation of new
directions,developments and results as well as surveys and
tutorials on existing knowledge in this area. Reduction strategies
study which subexpression(s) of an expression should be
selected for evaluation and which rule(s) should be applied. These
choices affect fundamental properties of a computation such as
laziness, strictness, completeness and need to name a few. For this
reason some programming languages, e.g., Elan, Maude, *OBJ* and
Stratego, allow the explicit definition of the evaluation
strategy, whereas other languages,e.g., Clean, Curry, and Haskell,
allow its modification. Strategies pose challenging theoretical
problems and play an important role in practical tools such as
theorem provers, model checkers and programming languages. In
implementations of languages, strategies bridge the gap between
operational principles, e.g., graph and term rewriting,narrowing
and lambda-calculus, and semantics, e.g., normalization,
computation of values and head-normalization. The previous
editions of the workshop were: WRS 2001 (Utrecht, The
Netherlands),WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia,
Spain), WRS 2004 (Aachen, Germany), and WRS 2005 (Nara,
Japan). See also the WRS permanent page at
http://www.dsic.upv.es/~wrs/
Important Dates
Abstract Submission: May 8, 2006
Paper Submission: May 15, 2006
Author Notification: June 12, 2006
Camera-Ready: July 10, 2006
Conference: Aug 11, 2006
Program Committee
Sergio Antoy, (chair) Portland State University
Santiago Escobar, Universidad Politecnica de Valencia
Juergen Giesl, RWTH Aachen
Bernhard Gramlich, Technische Universitat Wien
Ralf Laemmel, Microsoft Corp.
Salvador Lucas, Universidad Politecnica de Valencia
Narciso Marti-Oliet, Universidad Complutense de Madrid
Mizuhito Ogawa, Japan Advanced Institute of Science and Technology
Jaco van de Pol, Centrum voor Wiskunde en Informatica
Manfred Schmidt-Schauss, Johann Wolfgang Goethe-Universitat
Topics
Topics of interest include, but are not restricted to:
* theoretical foundations for the definition and semantic
description of reduction strategies
* strategies in different frameworks such as term rewriting, graph
rewriting, infinitary rewriting, lambda calculi, higher order
rewriting, conditional rewriting, rewriting with built-ins,
narrowing, constraint solving, etc.
* application of strategies to equational, functional,
functional-logic programming languages
* properties of reduction strategies and corresponding computations,
e.g., completeness, computability, decidability, complexity,
optimality, normalization, cofinality, fairness, perpetuality,
context-freedom, need, laziness, eagerness, strictness
* interrelations, combinations and applications of reduction under
different strategies, e.g., evaluation mechanisms in programming
languages, equivalence conditions for fundamental properties like
termination and confluence, applications in modularity analysis,
connections between strategies of different frameworks,etc.
* program analysis and other semantics-based optimization
techniques dealing with reduction strategies
* rewrite systems, tools, implementations with flexible or
programmable strategies as an essential concept or ingredient
* specification of reduction strategies in real languages
strategies suitable to software engineering problems and
applications tutorials and systems related to evaluation
strategies
Submissions
Submissions must be original and not submitted for
publication elsewhere. The page limit for regular papers is
13 pages in Springer Verlag LNCS style. Surveys and
tutorials maybe longer. Use the WRS06 submission page,
handled by the EasyChair conference system, to submit
abstracts, papers and to update a previous submission.
Publication
Informal proceedings of accepted contributions will be
available on-line. A hard copy will be distributed at the
workshop to registered participants. Authors of
selected contributions will be invited to submit a revised
version, after the workshop, for inclusion in a
collection. We anticipate the publication of formal
proceedings in the Elsevier ENTCS series.
Invited Speakers
Talks will be given at joint sessions with RULE by:
* Dick Kieburtz, OHSU/OGI School of Science & Engineering
* Claude Kirchner, INRIA & LORIA
Contact
Sergio Antoy, antoy(a)cs.pdx.edu.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------