Ciao-users February 2009

ciao-users@cliplab.org

4 participants
5 discussions

modules hierarchy
by Micha Kotra 23 Feb '09

23 Feb '09

Does Ciao prolog support module hierarchy ? I want to do sth like that ? use_module(animal/cat/feed). use_module(animal/dog/feed). And then: animal:cat:feed. animal:dog:feed. ? -- greetings Micha ---------------------------------------------------------------------- Zostan mistrzem parkowania w Bombaju! Zagraj >> http://link.interia.pl/f204e ============================================================================== 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

Postdoc Positions at the CLIP group, Spain
by CFP 09 Feb '09

09 Feb '09

********************************************************************** Application deadline 13th of February (for the 5 years position) and 18th of February (for the 3 years position) ********************************************************************** The CLIP (Computational Logic, Implementation and Parallelism) group is searching for candidates for postdoctoral research positions in the research areas in which the group is involved. A PhD in Computer Science or related areas is required. These are research positions (no teaching is compulsory, although it is allowed) and renewable for up to 3 or 5 years. The initial salary (for the 5 year positions) is 44370 Euros/year plus an initial budget of 15000 Euros for travel and other expenses during the first year. Knowledge of Spanish is not a prerequisite for application and candidates can be of any nationality. The working language at the CLIP group for research is English. The number of positions available depends on the quality of the applicants. The positions are co-funded by the Spanish Ministry of Science and Technology and the Technical University of Madrid within the Ramon y Cajal and Juan de la Cierva programs. Selection Process: Interested applicants should send their c.v. and a description of their research interests to the CLIP group at hats-grants(a)clip.dia.fi.upm.es. The CLIP group will perform a pre-selection of the best applicants based on their scientific merits and the relevance of their research interests and experience to the research activities of the group. The CLIP group will then assist the pre-selected candidates in accomplishing all required steps to present the required documentation for the final evaluation step. The applications, will then be sent to the Spanish Ministry of Science and Technology which performs the final selection. The details of this step are described here. http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html More details on the CLIP group, publications, projects, and research areas of interest can be found at our WWW site (see e.g. the group description and the listing of research topics and publications): http://clip.dia.fi.upm.es/ For more information on any of the above, please contact hats-grants(a)clip.dia.fi.upm.es -- ============================================================================== 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 09 Feb '09

09 Feb '09

[We apologize in advance for repeated reception of this message] [Please fell free to forward it to anyone who can be interested] *** 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 workshop web page. 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

ASP-competition Call for Participation
by Marc Denecker 05 Feb '09

05 Feb '09

................................................................ The Second Answer Set Programming Competition Call For Benchmark problems Call For Participation K.U.Leuven, Belgium, spring 2009 http://www.cs.kuleuven.be/~dtai/events/ASP-competition/ ................................................................ The second ASP competition is a Modeling and Solving competition open to all declarative problem solving systems from areas such as ASP, SAT and CP. In the competition, both satisfiability problems and optimization problems need to be solved. Each team submits a solver and modelings for all benchmark problems. These are used to solve a number of instances of each benchmark problem. The solver that solves the most instances wins. The results will be published in the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). For more details on the format of the competition, see the webpage. The competition is open for all solvers. The Modeling and Solving formula offers the best opportunities for different communities to show the strength of their applications and solvers. Modeling support for SAT teams, for whom modeling can be a burden, is available on the webpage. The competition is currently in its first phase: the collection of benchmarks. We invite researchers from the different areas to help in creating a representative collection of benchmarks by submitting benchmark problems. For more details, see the webpage. IMPORTANT DATES: * Until 01/03/2009: o Submission and selection of benchmark problems. * 01/03/2009-01/05/2009: o Registration of teams. * 01/03/2009-15/05/2009: o Installation period: Participants install and test solvers and programs on the K.U.Leuven pinac pool. * 15/05/2009-15/06/2009: o Competition phase * 15/09/2009: o Results announced at LPNMR'09. ============================================================================== 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

Re: ciao 1.10p8 and emacs 22.2.1 : Doesn't start top level buffer
by ciao＠clip.dia.fi.upm.es 05 Feb '09

05 Feb '09

> 1. Which file should be altered: > a. /local/lib/ciao/ciao.el (I have installed ciao into /local) > or the source file > b. ....emacs-mode/ciao.el.body b. ciao.el is built from ciao.el.body during installation. > If b. do you then do another make and make install? yes! > 2. What are the .elc files. (Are they compiled from the corresponding > .el files?) Yep, the (byte-)compiled versions of the .el files. Btw, you may want to try the 1.13 distribution, which is already on the web site. We are interested in any feedback. Cheers --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

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 February 2009