Ciao-users January 2009

ciao-users@cliplab.org

10 participants
17 discussions

Re: How to subscribe to this list?
by ciao＠clip.dia.fi.upm.es 21 Jan '09

21 Jan '09

Sorry for the delay: we changed our server recently and we had not noticed this problem. We will look into it ASAP. About the post to comp.lang.prolog, to our surprise our university has shut down the news service as "obsolete". I asked Bart and at Leuven they have done the same. (!) --Manuel H. -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.org ----------------------------------------------------------------------------- ============================================================================== 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

How to subscribe to this list?
by John Velman 21 Jan '09

21 Jan '09

I've tried both: "You need to subscribe during the download process, or by sending an ascii message containing in the body the word subscribe alone in one line to ciao-users-request(a)clip.dia.fi.upm.es. " With no sucsess. My tries via email result in: "Sorry, an error has occurred while processing your request The caretaker of Majordomo ( Majordomo-Ow...(a)clip.dia.fi.upm.es ) has= been notified of the problem. " But no answer over a period of many days. A post to comp.lang.prolog has resulted in a post from someone else who has had the same problem. Yet checking the archives shows that the list is alive. Is there a way to subscribe? Thanks, John Velman ============================================================================== 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

ICLP 2009: Call for workshop proposals
by cfp＠clip.dia.fi.upm.es 18 Jan '09

18 Jan '09

*** CALL FOR WORKSHOP PROPOSALS *** ICLP 2009 25th International Conference on Logic Programming Pasadena, California, USA July 14-17, 2009 URL: http://www.ist.unomaha.edu/iclp2009/ ICLP 2009, the 25th International Conference on Logic Programming, will be held in Pasadena (USA), from July 14 to 17, 2009. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2009 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2009 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation, and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experience of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Manuel Carro) by email by February 9th, 2009. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 23rd, 2009. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings, whose preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP 2009 home page by March 9th, 2009. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested. See http://www.logicprogramming.org/ for guidelines. We encourage reading these instructions in advance so that you can ask paper authors to prepare accordingly the final versions of their papers. Location: ========= All workshops will take place in Pasadena at the site of the main conference. See the ICLP 2009 web site for location details. Important Dates: ================ February 9, 2009: Proposal submission deadline. February 23, 2009: Notification. March 9, 2009: Deadline to receive the CFP and URL for the web page of the workshop June 1, 2009: Deadline for preliminary proceedings. July 14-17, 2009: ICLP 2009 workshops. Workshop Chair: =============== Manuel Carro [mcarro AT fi dot upm dot es] (www.clip.dia.fi.upm.es/~mcarro) ============================================================================== 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 -- RR 2009
by Terrance Swift 15 Jan '09

15 Jan '09

PRELIMINARY CALL FOR PAPERS!!! (Apologies for multiple posts) The Third International Conference on Web Reasoning and Rule Systems (RR 2009) http://www.rr-conference.org/RR2009 Chantilly, Virginia, USA October 25-26, 2009 Co-located with the International Semantic Web Conference '09 The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2009 builds on the success of The first two International Conferences on Web Reasoning and Rule Systems, which received enthusiastic support from the Web Rules community. In 2009, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. Suggested topics include the following, which is not to be considered as an exhaustive list: * Representation techniques for web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Standardization * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers SUBMISSION DETAILS Papers for past conferences were published in the Springer LNCS series (acceptance pending for this year). Papers may be accepted as: * full papers (15 pages in the proceedings) * short papers (8 pages in the proceedings) * posters (2 pages in the proceedings). The stated lengths include title, abstract and list of references. All papers should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2009 TENTATIVE DATES Abstract submission: June 14, 2009 Paper submission: June 28, 2009 Acceptance decisions: July 21, 2009 Camera-ready papers due: August 25, 2009 RR 2009 conference: Oct 25-26, 2009 CONTACTS For information about papers and submissions, please contact a Program Chair: Axel Polleres, axel.polleres(a)deri.org, National University of Ireland, Galway (IE) Terrance Swift, tswift(a)cs.sunysb.edu, CENTRIA, Universidade Nova de Lisboa (PT) For other information about the conference, please contact the General Chair: Michael Kifer kifer(a)cs.sunysb.edu, SUNY Stony Brook, (USA) PROGRAM COMMITTEE To be announced ============================================================================== 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

ICLP'09 Doctoral Consortium
by iclp09.dc＠gmail.com 10 Jan '09

10 Jan '09

********************************************************************** International Conference on Logic Programming Fifth ICLP Doctoral Consortium Pasadena (California, USA) July 14-17, 2009 http://www.cs.kuleuven.be/~toms/DC2009/ ----------- The 2009 ICLP Doctoral Consortium (DC) is the fifth international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2009 in Pasadena, California, USA. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renowned experts in the field. The Doctoral Consortium will also offer invited speakers and panel discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2009 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). Students at any stage in their doctoral studies are encouraged 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 2009 conference; the ICLP conference will run from July 14th to July 17th, 2009. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2009 conference proceedings. Discussants: Several renowned 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 2009 Doctoral Consortium web site, at: http://www.cs.kuleuven.be/~toms/DC2009/ -------- Important Dates Submission Deadline: April 10, 2009 (strict) Acceptance Notification: April 20, 2009 Last Date to Update Research Summary: May 5, 2009 (strict) Doctoral Consortium: July 14-17, 2009 (TBA) ICLP 2009 Conference: July 14-17, 2009 ------------ Doctoral Consortium Chairs: Tom Schrijvers Marcello Balduccini Departement of Computer Science Intelligent Systems Department Catholic University of Leuven Kodak Research Labs Leuven, Belgium Rochester, NY (USA) tom.schrijvers _a_t_ cs.kuleuven.be marcello.balduccini _a_t_ gmail.com ============================================================================== 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

10 PhD, PostDoc, and Engineering Positions offered!!
by CFP 09 Jan '09

09 Jan '09

10 PhD, PostDoc, and Engineering Positions offered!! ----------------------------------------------------------------------- | HATS: Highly Adaptable and Trustworthy Software using Formal Models | ----------------------------------------------------------------------- HATS is a new Integrated Project funded by the European Union, within the programme "Future and Emerging Technologies" (FET) of the 7th Framework Programme (subject to contract) starting March 2009. The project partners from Chalmers Technical University, Gothenborg, Sweden University of Oslo, Norway Royal Institute of Technology, Stockholm, Sweden Technical University of Madrid, Spain IMDEA Software, Spain Technical University of Kaiserslautern, Germany, University of Bologna, Italy, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands Norwegian Computer Center, Oslo, Norway Fredhopper B.V., Amsterdam, Netherlands Fraunhofer Institute for Experimental SE, Kaiserslautern, Germany, Katholieke Universiteit Leuven, Belgium are jointly advertising several 3-5 year PhD, PostDoc, and Engineering positions. The goal of HATS is a tool-supported framework and formal methodology for the development of long-lived and trustworthy software systems. Specifically, HATS will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. For further information see: http://www.hats-project.eu Topic areas: Applicants should have a background and/or interest in one of the topics software modeling, modeling and programming languages, formal methods, verification, language-based security, type systems, or concurrency theory. The following positions are offered: * 2 PhD positions with emphasis on formal modeling and verification at Chalmers University of Technology. One of the positions is in the EU project CHARTER which is closely related to HATS. Application deadline is 9th February 2009. Contact: Prof. Reiner Haehnle. Further details and information on how to apply at http://www.chalmers.se/cse/EN/news/vacancies/positions/two-ph-d-student * A Research Software Engineer at Fredhopper (Amsterdam). The position will comprise of industrial research on modeling and verification of key components of Fredhopper's flagship product within the EU-funded HATS research project. Fredhopper is the Nr. 1 provider of Search & Merchandising solutions for online business in Europe and industrial leader in the HATS project. Apply by 31 January 2009 for the most optimal procedure. Contact for project information: Dr. Nikolay Diakov. More information and how to apply at: http://www.fredhopper.com/public/company-opps.php?cat=0&subcat=0#research-s… * 2 PostDoc positions at the University of Bologna. The emphasis is on formal modeling and verification of the kind of concurrent systems studied in Hats using various techniques, including behavioural techniques and type systems. Application deadline is 31 January (later applications may also be taken into account). Contact: Prof. Davide Sangiorgi, see: http://www.cs.unibo.it/~sangio/Hats/vacancies.txt * 3 PhD positions with emphasis on static analysis and security at the Technical University of Madrid/IMDEA Software. One of the positions is in the DOVES Spanish project, which is closely related to HATS. The application deadline is 25 January. Later applications may also be taken into account if the positions are not covered. Contact: Prof. German Puebla. Further details and information on how to apply at http://clip.dia.fi.upm.es/Job_Openings/hats-doves-phd-grants.html * 1 PhD and 1 PostDoc position in the area of software modeling and verification at the University of Kaiserslautern. The emphasis in the area of software modeling is on semantically founded integration of behavioral software models, feature-based descriptions of variability and programs. The emphasis in verification is on modular techniques for object-oriented models and model refinement. Application deadline is January 31. Later applications may also be taken into account. Contact: Prof. A. Poetzsch-Heffter. Further details and information on how to apply at http://softech.informatik.uni-kl.de/Homepage/OffeneStellen * Further positions will be announced at this space! Applicants should have (or expect to have at the start of employment): * For a PhD position: a good Masters level or excellent Bachelor level degree (or equivalent) in computer science, mathematics, or a closely related discipline with knowledge in the areas above. Please see also individual requirements at each site which can differ. * For a Postdoc position: a PhD in computer science or mathematics, preferably with research experience in one of the listed topic areas. * For a software engineer position: a Masters or PhD level level degree (or equivalent) in computer science, mathematics, or a closely related discipline with good knowledge in the areas of program verification, automata theory or discrete math. Knowledge of Java and some programming experience count as a plus. Regardless of the specific application instructions, each application should contain: 1) a full CV including letters of recommendation 2) a research statement, indicating the research directions you are interesting in and what relevant experience you have 3) transcripts of degree results where available. To apply, please follow the links given above. Expressions of interest received by 15 January 2009 are guaranteed full consideration. Specific application deadlines may vary. Early contact would be appreciated. ============================================================================== 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

3rd CFP - Deadline Extension: Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009
by Laura Kovacs 08 Jan '09

08 Jan '09

[Please post - apologies for multiple copies.] Third and Last Call for Papers, Deadline Extension -------------------------- W I N G 2009 2nd International Workshop on INvariant Generation -------------------------- March 22-23, 2009, University of York, UK Satellite Workshop of ETAPS 2009 http://mtc.epfl.ch/events/WING09/ News ---- New deadline for submitting full papers: January 19, 2009 A special issue of the Journal of Symbolic Computation with full versions of selected papers will be published after the workshop. General ------- Program verification has a long research tradition, but so far its impact on development of safety critical software has been relatively limited. A key impediment has been the overhead associated with providing and debugging auxiliary invariant annotations. As the design and implementation of reliable software remains an important issue, any progress in this area will be of utmost importance for future developments in IT. The logically deep parts of the code are characterized by (nested) loops or recursions. For these parts, formal program verification is an appropriate tool. One of its biggest challenges is automated discovery of inductive assertions, leading to verification of safety and security properties of programs. The increasing power of automated theorem proving and computer algebra has opened new perspectives for computer aided program verification; in particular for the automatic generation of inductive assertions in order to reason about loops and recursion. Especially promising breakthroughs are invariant generation techniques by Groebner bases, quantifier elimination, and algorithmic combinatorics, which can be used in conjunction with model checking, theorem proving, static analysis and abstract interpretation. Scope ----- This workshop aims to bring together researchers from several fields of abstract interpretation, computational logic and computer algebra to support reasoning about loops, in particular, by using algorithmic combinatorics, narrowing/widening techniques, static analysis, polynomial algebra, quantifier elimination and model checking. We encourage submissions presenting work in progress, tools under development, as well as research of PhD students, such that the workshop can become a forum for active dialog between the groups involved in this new research area. Relevant topics include (but are not limited to) the following: - Program analysis and verification - Inductive Assertion Generation - Inductive Proofs for Reasoning about Loops - Applications to Assertion Generation using the following tools: - Abstract Interpretation, - Static Analysis, - Model Checking, - Theorem Proving, - Algebraic Techniques - Tools for inductive assertion generation and verification - Alternative techniques for reasoning about loops Keynote Speakers ---------------- Leonardo de Moura (Microsoft Research, USA) Andrey Rybalchenko (MPI Saarbruecken, Germany) Committee ----------------- Program Chairs: Andrew Ireland (Heriot-Watt University, UK) Laura Kovacs (EPFL, Switzerland) Program Committee: Nikolaj Bjorner (Microsoft Research, USA) Martin Giese (University of Oslo, Norway) Reiner Haehnle (Chalmers University of Technology, Sweden) Paul Jackson (University of Edinburgh, UK) Jens Knoop (Technical University of Vienna, Austria) Francesco Logozzo (Microsoft Research, USA) Wolfgang Schreiner (RISC-Linz, Austria) Helmut Veith (Technical University of Darmstadt, Germany) Andrei Voronkov (Manchester University, UK) Thomas Wies (EPFL, Switzerland) Important Dates --------------- January 19, 2009: Submission deadline February 23, 2009: Notification of acceptance March 8, 2009: Camera-ready copy deadline March 22-23, 2009: WING 2009 in York, UK Submission ---------- Submission is via http://www.easychair.org/conferences/?conf=wing09 Please submit research reports up to 15 pages in PDF, conforming to the format produced by LaTeX using the easychair.cls class file of EasyChair. The class style may be downloaded at: http://www.easychair.org/easychair.zip Publication ----------- All submissions will be peer-reviewed by the programme committee. Accepted contributions will be published in archived electronic notes, as an EasyChair collection volume. A special issue of the Journal of Symbolic Computation with full versions of selected papers will be published after the workshop. ============================================================================== 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 January 2009