Ciao-users April 2004

ciao-users@cliplab.org

10 participants
15 discussions

None
by Florina Piroi 16 Apr '04

16 Apr '04

Announcement of PhD Study Position in Gröbner Bases Theory ------------------------------------------------------------- I intend to write a book on Gröbner bases theory using the Theorema System currently developed in my Theorema Working Group. I would also like to organize a special semester on Gröbner bases in the frame of the newly created Radon Institute for Computational and Applied Mathematics (RICAM, Linz, Austria) and to build up a Gröbner bases web site with a papers repository etc. I invite students who want to do their PhD work on Gröbner bases under my personal advice and who also would like to help me with the preparation of the book and the web site. Prerequisites: good background in mathematics and software, practice in formal proving. The PhD study will be in the frame of the RISC PhD study. The research assistantship will be approx. 1000 Euro net per month, which is well sufficient to cover living expenses in Austria. Applications should be sent by e-mail to the address below. Bruno Buchberger Professor of Computer Mathematics Research Institute for Symbolic Computation Johannes Kepler University, A4232 Castle of Hagenberg, Austria Phone office: ++43 732 2468 9921 Mobile Phone: ++43 664 4211646 Fax: ++43 732 2468 9930 E-mail: Buchberger(a)RISC.Uni-Linz.ac.at WWW: http://www.risc.uni-linz.ac.at/people/buchberg/ ============================================================================== 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

virus found in sent message "Your day"
by System Anti-Virus Administrator -sun1- 16 Apr '04

16 Apr '04

Attention: ciao-users-list(a)clip.dia.fi.upm.es A virus was found in an Email message you sent. This Email scanner intercepted it and stopped the entire message reaching its destination. The virus was reported to be: Worm.SomeFool.P Please update your virus scanner or contact your IT support personnel as soon as possible as you have a virus on your system. Your message was sent with the following envelope: MAIL FROM: ciao-users-list(a)clip.dia.fi.upm.es RCPT TO: jsadi(a)dnrpa.gov.ar ... and with the following headers: --- MAILFROM: ciao-users-list(a)clip.dia.fi.upm.es Received: from unknown (HELO dnrpa.gov.ar) ([200.80.141.70]) (envelope-sender <ciao-users-list(a)clip.dia.fi.upm.es>) by mail (qmail-ldap-1.03) with SMTP for <jsadi(a)dnrpa.gov.ar>; 16 Apr 2004 00:18:30 -0000 From: ciao-users-list(a)clip.dia.fi.upm.es To: jsadi(a)dnrpa.gov.ar Subject: Your day Date: Thu, 15 Apr 2004 21:19:03 -0300 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_0016----=_NextPart_000_0016" X-Priority: 3 X-MSMail-Priority: Normal ---

1 0

WLPE 2004: Second CFP
by Jose Manuel Gomez Perez 13 Apr '04

13 Apr '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 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 September 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

CICLOPS 2004: Second CFP
by Manuel Carro 09 Apr '04

09 Apr '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) José F. Morales http://lml.ls.fi.upm.es/~mcarro http://clip.dia.fi.upm.es/~jfran Phone: +34-91-3367455 Phone: +34-91-3367448 Fax: +34-91-3366595 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

2nd Call for Papers: IJCAR'04 Workshop 7
by IJCAR WS7 09 Apr '04

09 Apr '04

!! The usual apologies in case you receive multiple copies of this message !! We would like to invite you to the Workshop on COMPUTER-SUPPORTED MATHEMATICAL THEORY DEVELOPMENT in the frame of IJCAR'04 DEADLINE for paper submission: MAY 2, 2004. The workshop will be held on July 4-5, 2004 in Cork, Ireland. For details please see http://www.risc.uni-linz.ac.at/conferences/IJCAR-WS7 The workshop organizers Christoph Benzmueller Wolfgang Windsteiger. ============================================================================== 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 April 2004