Hello,
I want to know if it exist some library in prolog that implement linear
algebra as groups and rings and galois theory
Thanks
==============================================================================
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/
-----------------------------------------------------------------------------
G'day all. Until recently, I had Ciao working happily with Emacs on my
Windows XP PC. However, for some reason or other, it now doesn't. Emacs will
consult the .pl file, put itself into Ciao mode, but will not, for love or
money, start the Ciao shell in the Emacs window (all it does now open the
window but produce no output). I've tried turning off anti-virus software, and
M-x shell gives me a DOS shell within Emacs without a problem (and I can run a
Ciao shell via a command from there). Does anyone have any ideas? Or
encountered a similar problem?
Just to add insult to injury, it all works perfectly well on my PC at home ---
just not here at work!
Cheers,
James.
==============================================================================
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
Hello,
I'm looking for a GTK+ (or gnome 2) interfase to ciao prolog.
I'm using Linux.
Is there some work on gtk+ ?
Thanks
Fiat justitia pereat mundus
__________________________________________________
Correo Yahoo!
Espacio para todos tus mensajes, antivirus y antispam ¡gratis!
¡Abrí tu cuenta ya! - http://correo.yahoo.com.ar
==============================================================================
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/
-----------------------------------------------------------------------------
Please, do accept our apologies if you receive this call more than once.
-------------------------------------------------------------------------------
Preliminary Call for Papers
------------------------------------------------------------------
CICLOPS 2005
Colloquium on Implementation of Constraint and LOgic Programming Systems
October 5, 2005
Sitges (Barcelona) Spain
Satellite workshop of ICLP 2005
------------------------------------------------------------------
http://www.dcc.fc.up.pt/ciclops05
Topics of interest
------------------
The workshop aims at discussing and exchanging experience on the
design, implementation, and optimization of logic and constraint
(logic) programming systems, or systems intimately related to logic as
a means to express computations. Preference will be given to the
analysis and description of implemented (or under implementation)
systems and their associated techniques, problems found in their
development or design and steps taken towards the solutions.
The workshop topics include, but are not limited to:
* Implementation of standard/alternative sequential models
(generalization and modification of the WAM, translation to
lower-level and/or general-purpose languages, etc);
* Implementation of parallel/concurrent models;
* Interaction between high-level optimisations/transformations and
low-level issues;
* Compile-time analysis and its application to code generation;
* Balance between compile-time effort and run-time machinery;
* Memory management, indexing, and garbage collection issues;
* Profiling tools and performance evaluation;
* Implementation techniques for declarative programming paradigms with
basis on, or extending, logic and constraint programming, such as
non-monotonic reasoning, inductive logic programming, natural
language processing systems, etc;
* 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.
Workshop Relevance
------------------
The last years have witnessed continuous progress in the technology
available both for academic and commercial computing
environments. Examples include improved 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.
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 flexibility is the key to, for example, the
implicit exploitation of parallelism, allowing immediate and
transparent reuse of logic and constraint programs written for
sequential machines, without compromising efficiency. Moreover,
implementations which reach good performance in terms of speed and
memory consumption make declarative languages and systems amenable to
develop non-trivial applications.
We hope that the workshop will provide a meeting point and bring
together people working on implementation technology for different
aspects of logic and constraint-based languages and systems, in order
to promote the exchange of ideas and feedback on recent
developments. The workshop continues a tradition of successful
workshops on Implementations of Logic Programming Systems, previously
held with in Budapest (1993), Ithaca (1994) and Portland (1995), 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 recently the
Colloquium on Implementation of Constraint and LOgic Programming
Systems in Paphos (2001), Copenhagen (2002), Mumbai (2003), and
Saint-Malo (2004), 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. Submissions should contain full return mail, email
address (if applicable) and fax number (if applicable) of the contact
author. To speed up the process of refereeing, authors are requested
to submit their paper in Postscript or PDF using a submission form
located at the workshop web-page.
In order to obtain homogeneous workshop proceedings, authors of
accepted papers will be requested to send the sources to the
organizers. We strongly encourage the use of LaTeX style files, both
in the preparation of submissions and, specially, for the final
version (please consult the template and style files located at the
workshop web-page to prepare your paper). 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.
Important Dates
---------------
Submission deadline: July 1st
Notification to authors: July 22nd
Camera-ready copy due: August 5th
Workshop: October 5th
Organization
------------
Program Committee:
------------------
Bart Demoen K. U. Leuven, Belgium
Christian Schulte Royal Institute of Technology, Sweden
David S. Warren State University of New York, USA
Enrico Pontelli New Mexico State Univeristy, USA
Fernando Silva University of Porto, Portugal
Inês Dutra Federal University of Rio de Janeiro, Brazil
Manuel Carro Technical University of Madrid, Spain
Mats Carlsson Swedish Institute of Computer Science, Sweden
Ricardo Rocha University of Porto, Portugal
Vitaly Lagoon University of Melbourne, Australia
Warwick Harvey Imperial College, IC-Parc, UK
Workshop Coordinators:
----------------------
Christian Schulte Royal Institute of Technology, Sweden
Fernando Silva University of Porto, Portugal
Ricardo Rocha University of Porto, Portugal
Contact:
Please address any question regarding the workshop organization to the
address ciclops05(a)dcc.fc.up.pt.
==============================================================================
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
The Great Computer Language Shootout shows a small number of programs
written in a wide range of computer programming languages - it is not
very serious.
http://shootout.alioth.debian.org/sandbox/benchmark.php?test=all&lang=ciao&…
Prolog is not be the most obvious choice for any of these trivial
problems, nonetheless we would be happy to receive Prolog programs for
these problems.
http://shootout.alioth.debian.org/sandbox/faq.php?sort=fullcpu#help
best wishes, Isaac
__________________________________
Yahoo! Mail Mobile
Take Yahoo! Mail with you! Check email on your mobile phone.
http://mobile.yahoo.com/learn/mail
==============================================================================
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/
-----------------------------------------------------------------------------
ACM ToCL -- Call for Nominations
Nominations, including self nominations, are invited for the next
Editor-in-Chief of the ACM Transactions on Computational Logic (ToCL),
see: http://www.acm.org/pubs/tocl/. The position is for a three-year
term, starting on August 1, 2005; it may be renewed for a second term.
Candidates should be well-established researchers in areas related to
computational logic, broadly conceived. They should also have broad
experience as journal editors and conference program committee
members. Nominations, including a current curriculum vitae and a
brief statement of their vision for ToCL, should be sent by June 1,
2005 to Moshe Y. Vardi <vardi(a)cs.rice.edu>.
Final selection will be made by a Selection Committee, consisting of
Moshe Y. Vardi (chair), Rice University, Joseph Y. Halpern, Cornell
University, Gordon Plotkin, University of Edinburgh, and Wolfgang
Thomas, RWTH Aachen.
Nominations received after June 1, 2005, will also be considered if
the position is not yet filled.
==============================================================================
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/
-----------------------------------------------------------------------------
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/
New abstract submission deadline: May 8th, 2005
New paper submission deadline: May 11th, 2005
[* Please note that ICLP'05 has a doctoral consortium for the first
time as well as a special industrial paper session (details
below).
* Note that ICLP05's dates intersect with a solar eclipse visible
in Barcelona ].
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.
Invited Speakers
----------------
This year, ICLP will have the following invited speakers:
Ian Horrocks, University of Manchester, UK
Francesca Rossi, University of Padova, Italy
Peter Stuckey, University of Melbourne, Australia
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.easychair.org/ICLP2005/submit/
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.easychair.org/ICLP2005/submit/
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: 8 May
Submission deadline: 1 June 11 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 Dusseldorf, Germany
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
Ilkka 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/
-----------------------------------------------------------------------------