Ciao-users March 2004

ciao-users@cliplab.org

3 participants
3 discussions

CFP: CICLOPS 2004
by Manuel Carro 10 Mar '04

10 Mar '04

[Please accept our apologies if you receive this message several times] --------------------------------------------------------------------------- C A L L F O R P A P E R S CICLOPS 2004 Colloquium on Implementation of Constraint and LOgic Programming Systems to be held at Saint-Malo (France) at the occasion of ICLP'04 September, 2004 http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004 --------------------------------------------------------------------------- Topics of interest ------------------ This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and systems intimately related to logic as a means to express computations. Experience backed up by real implementations 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: * Standard and alternative sequential implementation schemes (e.g., generalization / modification of the WAM, translation to lower-level and/or general-purpose languages, etc.) * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Compile-time analysis and its application to code generation. * Low-level cost models to guide high-level optimizations. * Memory management, indexing, and garbage collection issues. * Balance between compile-time effort and run-time machinery. * Implementation of parallel and concurrent logic and constraint programming systems. * Implementation techniques for declarative programming paradigms with basis on, or extending, logic and constraint programming, such as non-monotonic reasoning, inductive logic programming, etc. * Implementation of systems closely related to, or based on, logic, such as theorem provers and natural language processing systems. * Performance evaluation of logic and constraint programming systems. * User oriented tools for performance evaluation and profiling. * Software design with and for LP/CP systems: components, patterns, etc. * Design and implementation of programming environments. * Experiences from using systems in real-life applications. Important dates --------------- * submission deadline: April 26 * notification of acceptance: May 24 * final version due: June 14 * workshop dates: still to be decided (they depend on the organization of ICLP 2004) Workshop Goals -------------- Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. Rationale and History --------------------- 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 jeopardizing efficiency unnecessarily. 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 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 in Paphos (Cyprus, 2001), Copenhagen (2002), and Mumbai (2003), and the CoLogNet Workshops on Implementation Technology for Computational Logic Systems held in Madrid (2002) and Pisa (2003). Submission Information ---------------------- Authors are invited to submit papers written in English and not exceeding 12 pages. To speed up the process of refereeing, authors are requested to submit their paper in Postscript or PDF form. Hard copies may be sent to the contact address below only if access to electronic media is not available; please contact the organizers beforehand if that is the case. Submissions should contain full return mail and email address (if applicable) and FAX number (if applicable) of the contact author. Prospective authors are kindly requested to first send an indication of interest together with a paper title and abstract, in plain text format, to the organizers at the e-mail address at the bottom of the page. LaTeX style files are available via WWW at the Workshop web site. We strongly encourage their use, both in the preparation of submissions and, specially, for the final version. In order to obtain homogeneous workshop proceedings, authors of accepted papers will be requested to send the sources to the organizers. Authors who wish to prepare papers in formats other than LaTeX are kindly requested to contact the organization beforehand in order to make sure that we have available the right tools to process the files (if needed), or in order to receive detailed format instructions otherwise. Organization ------------ Program Committee: * Manuel Carro (Spain) * Ricardo Lopes (Portugal) * José F. Morales (Spain) * Enrico Pontelli (USA) * Vítor Santos (Brazil) * Tom Schrijvers (Belgium) * Christian Schulte (Sweden) * Paul Tarau (USA) * Neng-Fa Zhou (USA) Workshop Coordinators: Manuel Carro (contact person) http://lml.ls.fi.upm.es/~mcarro Phone: +34-91-3367455 Fax: +34-91-3366595 José F. Morales http://clip.dia.fi.upm.es/~jfran Phone: +34-91-3367448 Fax: +34-91-3366595 Invited Speaker: To be announced Contact Please address any question regarding the workshop organization to the address ciclops-org(a)clip.dia.fi.upm.es -- +---------------------------------------------------------------------------+ |Manuel Carro --- Facultad de Informática -- U. Politécnica de Madrid (UPM) | |mcarro_at_fi_dot_upm_dot_es --- Ph: +34-91336-7455 --- FAX: +34-91336-7412 | |http://lml.ls.fi.upm.es/~mcarro --- http://clip.dia.fi.upm.es/Software/Ciao| ============================================================================== 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

PhD Studies in Symbolic Functional Analysis
by Markus Rosenkranz 09 Mar '04

09 Mar '04

[Apologies for multiple copies] PhD Studies in Symbolic Functional Analysis =========================================== Qualifications -------------- We offer PhD research assistantships for students with the following qualifications: * You want to work in an exciting new area of mathematics, emerging at the borderline of two modern core disciplines of mathematics, symbolic computation and functional analysis. * You have some basic knowledge of symbolic computation (computer algebra), including in particular the theory of Groebner bases. * You have also basic knowledge of advanced analysis, including in particular the theory of ordinary and partial differential equations as well as some abstract functional analysis. * You have good practical skills in programming and using mathematical software. * You have finished your diploma or master's degree (or equivalent) and you want to start on a PhD thesis. * Your knowledge of English is sufficient for fluent conversation in mathematics. Application ----------- Strong students are encouraged to send their application to Dr.~Markus Rosenkranz. Research assistantships are available starting from April~2004 in the frame of a research project directed by Professors Bruno Buchberger and Heinz W.~Engl. Dr. Markus Rosenkranz Research Institute for Symbolic Computation (RISC) E-mail: Markus.Rosenkranz(a)risc.uni-linz.ac.at Internet: www.risc.uni-linz.ac.at Details about the Project ------------------------- Symbolic functional analysis (SFA) is defined as the continuation of symbolic computation towards operator problems of functional analysis, including so-called inverse problems. Recently, in the frame of this project, a typical SFA problem has been solved algorithmically: finding the Green's operator for a given linear two-point boundary value problem at the abstract operator level. The next goal is to analyze/generalize this approach to various other SFB problems: linear partial differential equations, non-linear problems, non-BVP type problems (e.g. exterior Dirichlet problems, single-layer potential), and inverse problems of all types. ============================================================================== 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

WLPE 2004 Call for Papers
by Jose Manuel Gomez Perez 09 Mar '04

09 Mar '04

[Apologies if you receive this more than once] --------------------------------------------------------------------- C A L L F O R P A P E R S The 14th Workshop on Logic Programming Environments WLPE'04 September 6 -- 10 (one day), 2004 Saint-Malo, France http://clip.dia.fi.upm.es/Conferences/WLPE04/ Submission deadline: April 26, 2004 --------------------------------------------------------------------- The 14th Workshop on Logic Programming Environments will take place as a satellite workshop of ICLP'04, the 20th 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) and Mumbai, India (2003). The aim of the workshop is to provide an informal setting where researchers working on tools for the development and analysis of logic programs will be able to meet and discuss their most recent ideas. This year the emphasis is on two main aspects: on the one hand, presentation, pragmatics and experiences of such tools, and on the other hand, the extension of the concept of "logic programming" environments to tools developed for any language based on computational logic (constraints, integration of paradigms, specification languages, ...). Specific topic areas relevant to the workshop include, but are not limited to: * tools for debugging and testing, * systems for program verification and validation, * code generation from specifications, * termination and non-termination analysers, * reasoners on occur-check freeness and determinacy, * profilers and performance analysers, * systems for types and modes analyses, * module systems, * optimization tools. --------------------------------------------------------------------- WORKSHOP ORGANISERS: --------------------------------------------------------------------- Susana Munoz-Hernandez susana(a)fi.upm.es (coordinator) http://lml.ls.fi.upm.es/~susana/cv_E.html Jose Manuel Gomez-Perez jgomez(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/~jgomez --------------------------------------------------------------------- PROGRAM COMMITTEE: --------------------------------------------------------------------- Maria Alpuente (Universidad Politecnica de Valencia, Spain), Maria Garcia de la Banda (Monash University, Australia), Jose Manuel Gomez-Perez (Universidad Politecnica de Madrid, Spain), Gopal Gupta (University of Texas at Dallas, U.S.A), Pat Hill (University of Leeds, U.K.), Fred Mesnard (Universite de La Reunion, France), Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain), Susana Munoz-Hernandez (Universidad Politecnica de Madrid, Spain), Kostis Sagonas (Uppsala University, Sweden), Alexander Serebrenik (Ecole Polytechnique, France), Jan-Georg Smaus (Universitaet Freiburg, Germany), Alexandre Tessier (Universite d'Orleans, France). --------------------------------------------------------------------- IMPORTANT DATES: --------------------------------------------------------------------- Submission: April 26, 2004 Notification: May 13, 2004 Camera-ready: June 13, 2004 Workshop: one day between 6--10 December 2004 --------------------------------------------------------------------- SUBMISSIONS: --------------------------------------------------------------------- Length of papers can range from 2 to 15 pages. Prospective authors are kindly requested to first send an indication of interest together with a paper title and abstract to the organizers. Authors are requested to email an electronic copy of a paper written in English (formatted according to the Springer LNCS style, standard ps or pdf format) to Susana Munoz-Hernandez: E- Mail: susana(a)fi.upm.es Fax: + 34 913366595 (to the attention of Susana Munoz-Hernandez) Phone: + 34 646465267 (office D2307) Informal proceedings will be published as a technical report of Facultad de Informatica, Universidad Politecnica de Madrid and distributed at the workshop. --------------------------------------------------------------------- Additional information can be obtained from the workshop coordinator. Event's Web homepage: http://clip.dia.fi.upm.es/Conferences/WLPE04/ --------------------------------------------------------------------- Accented symbols are omitted from this text. Information with the correct orthography is available at the workshop web site. ============================================================================== 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 2004