Ciao-users February 2005

ciao-users@cliplab.org

3 participants
4 discussions

ICLP 2005: Call for Papers
by ICLP 2005 21 Feb '05

21 Feb '05

---------------------------------------- Apologies if you receive multiple copies ________________________________________ Call for Papers ------------------------------------------------------------ Twenty first International Conference on Logic Programming ICLP'05 2-5 October, 2005 Sitges (Barcelona) Spain Co-located with the International Conference on Principles and Practice of Constraint Programming (CP'05) ------------------------------------------------------------ http://www.iiia.csic.es/iclp2005/ The Conference -------------- The 21st International Conference on Logic Programming will be held near Barcelona (Spain) from October 2nd to October 5th, 2005. ICLP'05 will be colocated with the International Conference on Principles and Practice of Constraint Programming (CP'05). Conference scope ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory Implementation Semantic Foundations Compilation Formalisms Memory Management Nonmonotonic Reasoning Virtual Machines Knowledge Representation Parallelism Environments Alternative Paradigms Program Analysis Constraint Logic Programming Program Transformation Abductive Logic Programming Validation and Verification Inductive Logic Programming Debugging, Profiling Answer Set Programming Language Issues Applications Concurrency Semantic Web Objects Software Engineering Coordination Web Tools Mobility Internet Agents Higher Order Artificial Intelligence Types Deductive Databases Modes Natural Language Programming Techniques Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. Applications of logic programming to the Semantic Web are especially encouraged. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP. Papers ------- Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page (http://www.springer.de/comp/lncs/index.html). Papers should express their contribution clearly, both in general and technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience. The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Industrial Papers ----------------- A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter, (up to) 10 pages papers. Posters ------- Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings. Posters must be submitted electronically. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Doctoral Student Consortium --------------------------- The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available. Publication ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters. Sponsoring and prizes --------------------- The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'05: for the best technical paper and for the best application paper. Important dates --------------- POSTERS PAPERS Abstract submission deadline: 30 April Submission deadline: 1 June 6 May Notification of authors: 1 July 24 June Camera-ready copy due: 15 July 15 July Organization ------------ Conference Co-Chairs: Pedro Meseguer (IIIA-CSIC, Spain) Javier Larrosa (Technical University of Catalonia, Spain) Program Co-Chairs: Maurizio Gabbrielli (University of Bologna, Italy) Gopal Gupta (University of Texas at Dallas, USA) Workshop Chair: Hai-Feng Guo (University of Nebraska at Omaha, USA) Doctoral Consortium Chair: Enrico Pontelli (New Mexico State University, USA) Publicity Chair: Felip Manya (IIIA-CSIC, Spain) Program Committee: Roberto Bagnara University of Parma, Italy Maurice Bruynooghe KU Leuven, Belgium Giorgio Delzanno University of Genova, Italy Stefan Decker Digital Enterprise Research Institute, Ireland Thom Fruehwirth University of Ulm, Germany Maurizio Gabbrielli University of Bologna, Italy (Program Co-Chair) Gopal Gupta University of Texas at Dallas, USA (Program Co-Chair) Patricia Hill University of Leeds, UK Joxan Jaffar University of Singapore, Singapore Bharat Jayaraman SUNY Buffalo, USA Javier Larrosa Technical University of Catalonia, Spain (Conference Co-Chair) Michael Leuschel University of Southampton, UK Massimo Marchiori University of Venice, Italy and W3C, MIT, USA Pedro Meseguer IIIA-CSIC, Spain (Conference Co-Chair) Juan J. Moreno Navarro Technical University of Madrid, Spain Gopalan Nadathur University of Minnesota, USA Illka Niemela Helsinki U. of Tech. Finland Catuscia Palamidessi INRIA, France Enrico Pontelli New Mexico State Univeristy, USA I.V. Ramakrishnan SUNY Stony Brook, USA Vitor Santos Costa Federal U. of Rio de Janeiro, Brazil Harald Sondergaard University of Melbourne, Australia Peter Stuckey University of Melbourne, Australia Frank Valencia University of Uppsala, Sweden Contact addresses ----------------- Conference Chairs: Pedro Meseguer Javier Larrosa IIIA-CSIC Dep. LSI, UPC Campus UAB Jordi Girona 1-3 08193 Bellaterra, Spain 08034 Barcelona, Spain Program Co-chairs: iclp05-chairs(a)cs.unibo.it Maurizio Gabbrielli Gopal Gupta Department of Computer Science Department of Computer Sciences MS EC31 University of Bologna The University of Texas at Dallas Mura A. Zamboni 7 2601 N. Floyd Rd 40127 Bologna, Italy Richardson, TX 78050, USA ============================================================================== 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

Best Practice: Atoms or Strings to Output Text?
by Michael D. Kersey 20 Feb '05

20 Feb '05

In Ciao-Prolog is there a "best practice" for outputting text? Method 1: Use quoted atoms always, e.g., write('The maximum mortgage payment is '),write(mortgage_payment). Method 2: Use strings,e.g., writestring("The maximum mortgage payment is "),write(mortgage_payment). where writestring is writestring([]). writestring([H|T]):-put_code(H),writestring(T). The first method is simple and straightforward. The ISO standard makes all the escape characters (\a,\n, etc.) available, further easing (and possibly encouraging) use of this method. However it apparently creates an unneeded symbol table entry for the singly-quoted atom. The second method is clumsier but very clearly distinguishes atoms from strings. What do you use? ============================================================================== 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

Extended paper submission deadline for STEPS 2005
by Mauricio Varea 17 Feb '05

17 Feb '05

EXTENDED DEADLINE: February 21, 2005!!! [we apologize for multiple copies] ======================================================================== * Call for Papers * INTERNATIONAL WORKSHOP ON SOFTWARE TECHNIQUES FOR EMBEDDED AND PERVASIVE SYSTEMS STEPS 2005 http://www.asap.ecs.soton.ac.uk/steps/ May 11, 2005 - Munich (Germany) - Held in conjunction with "Pervasive 2005". ABOUT THE WORKSHOP The aim of this workshop is to bring together researchers from many areas of Hardware and Software Engineering. As modern business, industry and consumer products are being overwhelmed with smarter, cheaper and more ubiquitous computing devices, attention to computing power is shifting from traditional workstations to mobile phones, PDAs, and many electronic gadgets. However, the current limitations that constrain these devices are centered around the software development process. In the context of pervasive computing, it is crucial to make efficient use of computing resources. While the tendency of current Software Engineering is to produce well-modularized systems built from large libraries, these systems tend to become rapidly bloated. Pervasive System developers work on the boundary of available computing resources. Thus, tools and techniques for Pervasive Systems design have to take optimization to its limits, integrate them with effective analysis techniques, and systematically produce efficient software that still performs satisfactorily on such platforms. We welcome not only contributions on Pervasive Systems design, but also on Analysis, Verification and Optimization at both high and low level code. Topics of interest include (but are not limited to): - Software Engineering. - Resource-oriented specialization, Dynamic Power Management, etc. - Abstract Interpretation, Program Transformation, Partial Evaluation, etc. - Declarative Programming, (Constraint) Logic Programming, etc. - Formal Verification, Model Checking, etc. - Low-level code issues With application to: - Pervasive Systems, Ambient Intelligence, etc. - Embedded Systems - Devices with limited resources (PDAs, phones, etc.) SCHEDULE Submission of Papers: February 21, 2005 Notification to Authors: March 8, 2005 Camera-ready version: April 24, 2005 ORGANIZING COMMITTEE Mauricio Varea University of Southampton, United Kingdom Luis A. Cortés Linköping University, Sweden PROGRAMME COMMITTEE E. Albert (UCM, Spain) J. C. Augusto (U. Ulster, UK) B. Demoen (K.U. Leuven, Belgium) P. Eles (Linköping, Sweden) J. Gallagher (Roskilde, Denmark) M. Hermenegildo (UNM, USA) P. Kollig (Phillips, UK) M. Leuschel (Düsseldorf, Germany) H. Muller (Bristol, UK) G. Puebla (UPM, Spain) V. Sassone (Sussex, UK) M. Schmitz (Southampton, UK) P. Tarau (North Texas, USA) ======================================================================== ============================================================================== 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 2005 Doctoral Consortium: Call for Applications
by ICLP 2005 10 Feb '05

10 Feb '05

International Conference on Logic Programming Doctoral Consortium Sitges (Barcelona), Spain October 2-5, 2005 http://www.cs.nmsu.edu/~epontell/DC2005 ----------- The ICLP Doctoral Consortium (DC) is the first ever doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2005 in Sitges (Barcelona), Spain. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, who are planning to pursue a career in academia. 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 2005 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic 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 2005 conference; the ICLP conference will run from October 2nd to October 5th, 2005. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2005 conference proceedings. Discussants: Several renown 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 2005 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2005 -------- Important Dates Submission Deadline: June 1st, 2005 Acceptance Notification: July, 1st 2005 Last Date to Update Research Summary: July 15th, 2005 Doctoral Consortium: October 2-5, 2005 ICLP 2005 Conference: October 2-5, 2005 ------------ Doctoral Consortium Chair: Enrico Pontelli Department of Computer Science New Mexico State University MSC CS, Box 30001 Las Cruces, NM 88003, USA epontell _a_t_ cs.nmsu.edu ============================================================================== 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 2005