Ciao-users April 2007

ciao-users@cliplab.org

5 participants
5 discussions

Final CFP: ICLP 2007 Doctoral Consortium
by ICLP07 publicity 26 Apr '07

26 Apr '07

(apologies if you receive multiple copies) ---------------------------------------------------------------------- International Conference on Logic Programming Third Doctoral Consortium Porto, Portugal September 8-13, 2007 http://www.cs.nmsu.edu/~epontell/DC2007 ----------- The 2007 ICLP Doctoral Consortium (DC) is the third international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2007 in Porto, Portugal. 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 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 2007 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 2007 conference; the ICLP conference will run from September 8th to September 13th, 2007. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2007 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 2007 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2007 -------- Important Dates Submission Deadline: May 2nd, 2007 (strict) Acceptance Notification: May 20th, 2007 Last Date to Update Research Summary: June 5th, 2007 (strict) Doctoral Consortium: September 8-13, 2007 (TBA) ICLP 2006 Conference: September 8-13, 2007 ------------ Doctoral Consortium Chairs: Enrico Pontelli Ines de Castro Dutra Department of Computer Science COPPE/Sistemas New Mexico State University Universidade Federal do Rio MSC CS, Box 30001 de Janeiro Las Cruces, NM 88003, USA Rio de Janeiro, Brasil epontell _a_t_ cs.nmsu _dot_ edu ines _a_t_ cos.ufrj _dot_ br ============================================================================== 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) WLPE'07 - Workshop on Logic-based Methods in Programming Environments
by Wim Vanhoof 24 Apr '07

24 Apr '07

[Apologies for multiple copies...] ----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) September 13, 2007 Porto, Portugal http://www.comp.leeds.ac.uk/hill/WLPE07/ ----------------------------------------------------------- The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th 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), Sitges, Spain (2005) and Seattle, Washington USA (2006). The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Areas particularly relevant to the workshop include: * static and dynamic analysis * debugging and testing * program verification and validation * code generation from specifications * termination and non-termination analysis * reasoning on occurs-check freeness and determinacy * profiling and performance analysis * type- and mode analysis * module systems * optimization tools Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise. Submission guidelines --------------------- We invite the submission of full papers which, excluding references, should not exceed 16 pages, or short papers describing work in progress which should be no more than 6 pages. Authors are requested to submit their paper in standard postscript or pdf format (preferable in Springer LNCS style) to: http://www.easychair.org/WLPE07/ An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: June 15, 2007 Notification: July 8, 2007 Camera-ready: August 15, 2007 Workshop: September 13, 2007 Workshop organizers ------------------- Patricia Hill School of Computing, University of Leeds Leeds, England Phone: +44 113 343 6807 Fax: +44 113 343 5468 http://www.comp.leeds.ac.uk/hill/ Wim Vanhoof Insitut d'Informatique, University of Namur Namur, Belgium Phone: +32 81 72 49 77 Fax: +32 81 72 49 67 http://www.info.fundp.ac.be/~wva/ Program committee ----------------- John Gallager (Roskilde University, Denmark) Gopal Gupta (University of Texas at Dallas, U.S.A) Michael Hanus (Christian-Albrechts-Universit=E4t zu=20 Kiel, Germany) Pat Hill (University of Leeds, U.K.) Erwan Jahier (Verimag Laboratory, Gi=E8res, France) Gerda Janssens (KULeuven, Belgium) Susana Mu=F1oz-Hern=E1ndez (Universidad Polit=E9cnica de Madrid,= Spain) Baudouin Le Charlier (Catholic University of Louvain, Belgium) Lunjin Lu (Oakland University, USA) German Puebla (Technical University of Madrid, Spain) Alexander Serebrenik (Technische Universiteit Eindhoven, The=20 Netherlands) Fausto Spoto (Universit=E0 di Verona, Italy) Wim Vanhoof (University of Namur, Belgium) Enea Zaffanella (Parma University, Italy) Event's Web homepage -------------------- http://www.comp.leeds.ac.uk/hill/WLPE07/ ============================================================================== 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

Name of the file (still not working)
by lorea galech mercado 05 Apr '07

05 Apr '07

Hi, I have been trying all the possible solutions that you suggested me but no one of them works for the case that I'm working in. The problem is that in CIAO the execution of the predicate stream_property(S,file_name(L)) returns in L the whole path of the file associated to S but it does as an atom without ' '. When I run the predicate no_path_file_name(L,Name) to the result of running stream_property(S,file_name(L)) it returns in Name the whole path of the file. It happens as well when we try to get the name of the file from a path in the situation shown in the next example: L= /directory/directory/file. no_path_file_name(L,Name). Name= /directory/directory/file. If the predicate file_name returned the path in that way '/directory/directory/file' the predicate no_path_file_name, and the others that you also have suggested,would work but this is not the case. Thanks. Lorea ============================================================================== 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: Getting the name of a file from its path
by Daniel Cabeza Gras 05 Apr '07

05 Apr '07

What about this? Ciao 1.13.0-7229: Wed Nov 29 19:37:42 CET 2006 ?- use_module(library(filenames)). Note: module filenames already in executable, just made visible yes ?- no_path_file_name('/this/is/a/path/file.pl',F). F = 'file.pl' ? yes ?- Daniel ============================================================================== 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

Getting the name of a file from its path
by lorea galech mercado 03 Apr '07

03 Apr '07

Hi, I'm interested in getting the name of a file from its path, which I have obtained by using the function stream_property(S,file_name(L)). This function returns in the variable L the absolut path of the file associated with the stream S. The only way I can think how to get the name of the file is by obtaining a list of characters associated with the atom contained in L (the path). The problem is that L variable contains the atom without ' and at the same time contains at least one time the character /. It provokes that no one of the functions atom_chars or atom_codes works. Can you think of any other way to achive it? Thanks. Lorea Galech ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

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 2007