Ciao-users March 2006

ciao-users@cliplab.org

5 participants
6 discussions

CFP: Workshop on Verification and Debugging
by vandd2006 30 Mar '06

30 Mar '06

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/ -----------------------------------------------------------------------------

1 0

(CFP) Workshop on Logic-based Methods in Programming Environments
by Wim Vanhoof 15 Mar '06

15 Mar '06

[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/ -----------------------------------------------------------------------------

1 0

CALL FOR PAPERS: CICLOPS 2006
by Enrico Pontelli 09 Mar '06

09 Mar '06

======================================================================= 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/ -----------------------------------------------------------------------------

1 0

International Conference on Logic Programming: DOCTORAL CONSORTIUM
by Enrico Pontelli 08 Mar '06

08 Mar '06

- 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/ -----------------------------------------------------------------------------

1 0

Mathematical Aspects of Computer and Information Sciences 2006: Call for Papers
by macis2006＠cc4cm.org 04 Mar '06

04 Mar '06

=================== [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/ -----------------------------------------------------------------------------

1 0

WRS06 2nd call for paper
by wrs06＠redstar.cs.pdx.edu 02 Mar '06

02 Mar '06

[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/ -----------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users March 2006