[mercury-users] CL2000: call for workshop papers
Sandro Etalle
etalle at CS.UNIMAAS.NL
Mon Apr 17 16:47:53 AEST 2000
First International Conference on Computational Logic
Imperial College, London, UK
24th to 28th July, 2000
http://www.doc.ic.ac.uk/cl2000/
THIRD CALL FOR WORKSHOP PAPERS
CL2000 is the first in a major new series of annual international
conferences bringing together the various communities of researchers
who have a common interest in Computational Logic.
CL2000 will host seven workshops on different topics related to
computational logic. Workshops will take place during the conference:
They will not be 'post-conference' events, but a key activity within
the conference.
People interested in submitting a paper should contact directly the
specific workshop coordinator.
CL2000 workshop page: http://www.cs.unimaas.nl/~etalle/cl2000/index.htm
********************************************************************
** SHORT DESCRIPTION OF THE WORKSHOP (below follows a longer one) **
********************************************************************
[1] Workshop on Logic Programming and Software Engineering
Organizers: Gopal Gupta gupta at cs.nmsu
I. V. Ramakrishnan ram at cs.sunysb.edu
[2] Workshop on Verification and Computational Logic
http://www.ecs.soton.ac.uk/~mal/vcl2000.html
Contact person: Michael Leuschel, mal at ecs.soton.ac.uk
[3] First Workshop on Memory Management in Logic Programming
Implementations.
http://www.cs.kuleuven.ac.be/~bmd/mmws.html
Organizer: Bart Demoen, bmd at cs.kuleuven.ac.be
[4] Workshop on Rule-Based Constraint Reasoning and Programming
supported by Compulog and ERCIM.
http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html
Contact person: Thom Fruehwirth, fruehwir at informatik.uni-muenchen.de
[5] Workshop on Parallelism and Implementation Technology for
(Constraint) Logic Programming Languages
http://www.cos.ufrj.br/~parimp00
Contact Person: Ines de Castro Dutra, ines at cos.ufrj.br
[6] Workshop on Computational Logic in Multi-Agent Systems (CLIMA).
http://mhjcc3-ei.eng.hokudai.ac.jp/clima.html
Organisers: Ken Satoh ksatoh at db-ei.eng.hokudai.ac.jp
Fariba Sadri fs at doc.ic.ac.uk
[7] UK Constraint Network (Consnet) Annual Workshop.
Organiser: Mark Wallace, mgw at icparc.ic.ac.uk
*****************************************
** LONGER DESCRIPTION OF THE WORKSHOPS **
*****************************************
[1] Workshop on (Constraint) Logic Programming and Software
Engineering - CLPSE2000.
http://www.cs.nmsu.edu/~lpse
Organizers:
Gopal Gupta (New Mexico State University) gupta at cs.nmsu.edu
I. V. Ramakrishnan (SUNY Stony Brook) ram at cs.sunysb.edu
The aim of this workshop is to explore applications of logic
programming and constraint programming to the process of constructing
reliable software and to programming-in-the-large. Papers and
experience reports describing use of LP and CLP techniques to various
aspects of the software engineering process are invited. Topics of
interest include (but are not limited to):
o Rapid prototopying and System Modeling
o Software Design Methodologies based on LP/CLP
o Software Specification
o Domain Specific Languages
o Derivation of Efficient Implementations
from Specifications
o Automatic Software Generation
o Testing and Debugging
o Test Case Generation
o Software Verification
o Software Process Discovery
o Software Reuse
o Analysis of Software Systems/Software Process
o Software Quality Assurance
o Requirements Analysis
Submission deadline: May 30th, 2000
Notification of acceptance/rejection: June 20, 2000
Submission procedure: Electronically submit a postscript, pdf, or a
word file to gupta at cs.nmsu.edu.
Proceedings: Informal proceedings will be published and will
be available during the workshop. Selected
papers may be invited for a special issue of a
journal (to be determined).
Invited speakers:
Sam Daniel, Motorala, USA
Others TBD
Contact address and email:
Gopal Gupta
Lab for Logic and Databases
Box 30001/CS
Las Cruces, NM
USA 88003
Ph: +1 505 646 6236
Fax: +1 505 646 1002
Contact email: gupta at cs.nmsu.edu
Web page: http://www.cs.nmsu.edu/~lpse
[2] Workshop on Verification and Computational Logic
http://www.ecs.soton.ac.uk/~mal/vcl2000.html
Contact person: Michael Leuschel, mal at ecs.soton.ac.uk
The aim of this workshop is to bring together researchers working
on the interplay between verification techniques (e.g., model
checking, reduction, and abstraction) and logic programming
techniques (e.g., constraints, abstract interpretation, program
transformation).
Organizers:
Michael Leuschel (mal at ecs.soton.ac.uk)
Andreas Podelski (podelski at mpi-sb.mpg.de)
C.R. Ramakrishnan (cram at cs.sunysb.edu)
Ulrich Ultes-Nitsche (uun at ecs.soton.ac.uk)
[3] First Workshop on Memory Management in Logic Programming
Implementations.
http://www.cs.kuleuven.ac.be/~bmd/mmws.html
Bart Demoen (K.U.Leuven, Belgium - organiser)
Olivier Ridoux (IRISA/Univ. of Rennes 1, France)
Vitor Santos Costa (Universidade Federal do Rio de Janeiro, Brazil)
Zoltan Somogyi (Univ. of Melbourne, Australia)
Memory management (as a topic for publication and research) has
been a bit neglected by the LP community, in contrast to the
tradition in functional programming and more recently in the Java
community. Still, memory management is crucial in LP
implementations and it is high time that hearsay and folklore is
turned into paper. Implementors, researchers and users will
benefit.
We aim to bring together implementors of LP systems, with
practical or theoretical experience in memory management of such
systems, as well as interested LP users who would like to
understand better issues involved in memory management. The
intended focus is on memory management of run time data structures
of sequential implementations of LP, and on topics like memory
profiling, data representation, garbage collection, memory layout,
alternative allocation schemas, but not restricted to these.
[4] Workshop on Rule-Based Constraint Reasoning and Programming
supported by Compulog and ERCIM.
http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html
Contact person: Thom Fruehwirth, fruehwir at informatik.uni-muenchen.de
Rule-based formalisms are ubiquitous in computer science, and even
more so in constraint reasoning and programming. In constraint
reasoning, algorithms are often specified using inference rules,
rewrite rules, sequents or logical axioms. Advanced programming
languages like CHR, CLAIRE and ELAN allow the implementation both
constraint solvers and programs using constraints in a rule-based
formalism.
The workshop invites papers describing ongoing work in using
rule-based formalisms in constraint reasoning and programming. In
particular, on specification of algorithms for solving constraints
by rules and on implementations of constraint solvers and programs
solving problems in a novel way using rule-based programming
languages that go beyond constraint logic programming, as well as
on analysis of rule-based programs and other issues related to
rule-based language design and implementation.
To submit, send an email to fruehwir at informatik.uni-muenchen.de
containing three lines with title, authors and WWW link to
compressed postscript file. Accepted papers will be published in
hard-copy proceedings available at the workshop.
Organization
Thom Frühwirth
Slim Abdennadher
Krzysztof Apt
Yves Caseau
Joxan Jaffar
Helene Kirchner
Important Dates
May 15, 2000: Paper submissions
June 10, 2000: Acceptance decisions
July 1, 2000: Final version due
July 24-28, 2000: Conference and workshop days
The final workshop programme schedule will be coordinated with the
UK Constraint Network (Consnet) Annual Workshop.
[5] Workshop on Parallelism and Implementation Technology for
(Constraint) Logic Programming Languages
http://www.cos.ufrj.br/~wpit00
Contact Person: Ines de Castro Dutra, ines at cos.ufrj.br
Papers from both academia and industry are invited. Preference
will be given to the analysis and description of implemented
systems (or currently under implementation) and their associated
techniques, problems found in their development or design, and
steps taken towards the solution of these problems.
TOPICS include, but are not limited to:
- standard and non-standard sequential implementation schemes
(e.g., generalization/modification of WAM, translation to C,
etc.);
- implementation of parallel logic programming systems;
- balance between compile-time effort and run-time machinery;
- techniques for the implementation of different declarative
programming paradigms based on, or extending, logic programming
(e.g., constraint logic programming, concurrent constraint
languages, equational-logic languages);
- performance evaluation of sequential and parallel logic
programming systems, both through benchmarking and using real world
applications;
- other implementation-related issues, such as memory management,
register allocation, use of global optimizations, etc.
ORGANIZING COMMITTEE
Ines de Castro Dutra ines at cos.ufrj.br
COPPE/Systems Engineering and Computer
Science, Federal Univ. of Rio de Janeiro
Enrico Pontelli epontell at cs.nmsu.edu
LLDAP, New Mexico State University
Vitor Santos Costa vsc at ncc.up.pt
COPPE/Systems Engineering and Computer
Science, Federal Univ. of Rio de Janeiro
Fernando Silva fds at ncc.up.pt
LIACC, Universidade do Porto
Manuel Carro mcarro at fi.upm.es
Department of Computer Science
Technical University of Madrid
[6]
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
(CLIMA-00)
http://mhjcc3-ei.eng.hokudai.ac.jp/clima.html
One/Two day(s) workshop in association with CL2000 (July 24th --
29th, 2000)
Imperial College, London, UK
***********************************************************************
* A proposal for a special issue of the Annals of Math and AI on *
* "Computational Logic and Multi-Agency" (guest editors: Juergen Dix, *
* Fariba Sadri, and Ken Satoh) has been accepted. We are planning to *
* invite the authors of the best CLIMA-00 papers to submit extended *
* drafts for the special issue as a part of the volume. *
***********************************************************************
Purpose of the workshop
The Internet and Robotics make research on multi-agent systems very
important. However, programming in these domains becomes very
complicated and reasoning about behavior of these systems becomes
extremely difficult. Therefore, it is important to be able to
formalize multi-agent systems and to reason about agent's behavior
automatically. The purpose of this workshop is to discuss
techniques, based on computational logic, for reasoning about
multi-agent systems in a formal way. This is clearly a major
challenge for computational logic, to deal with real world issues
and applications.
Submission
We solicit papers that address formal approaches to multi-agent
systems. The approaches as well as being formal must make a
significant contribution to the practice of multi-agent
systems. Relevant techniques include the following (but are not
limited to):
* Nonmonotonic reasoning in mulgent systems
* Planning under incomplete inftion in multi-agent systems
* Usage of abduction in multi-a systems
* Representation of knowledge aelief in multi-agent systems
* Temporal reasoning for multi-t systems
* Theory of argumentation for m-agent negotiation and co-operation
* Communication languages for m-agent systems
* Distributed constraint satisfon in multi-agent systems
* Decision theory for multi-age
* Distributed theorem proving for multi-agent systems
We encourage the submitted papers to include:
(1) an explanation of which aspect/functionality of multi-agent system they
formalize,
(2) example(s) which give an intuitive motivation and explanation of the
formalization,
and, preferably,
(3) automated reasoning about behavior of multi-agent system.
Papers must describe original, previously unpublished research, be
written and presented in English, not exceed 10 pages (A4 or letter
format, up to 3,500 words), and not be simultaneously submitted for
publication elsewhere.
Please submit a PostScript file of a paper to
ksatoh at db-ei.eng.hokudai.ac.jp
It is the author's responsibility to ensure that the PostScript file
is printable. Only if electronic submission is impossible, please
notify the above address by April 10th 2000.
Proceedings
Workshop proceedings will be available at CL2000. We are also
considering on-line proceedings.
Important Dates
Submission Deadline: April 30th, 2000
Notification: June 2nd, 2000
Camera Ready Copy Due: July 2nd, 2000
Workshop: one day (or possibly two days) during July 24th -- 29th
Workshop Co-chairs
Ken Satoh, Hokkaido University, Japan
Fariba Sadri, Imperial College, UK
Programming Committee
Chitta Baral, Arizona State University, USA
Juergen Dix, University of Koblenz, Germany
Katsumi Inoue, Kobe University, Japan
Yasuhiko Kitamura, Osaka City University, Japan
Luis Moniz Pereira, Universidade Nova de Lisboa , Portugal
David Poole, University of British Columbia, Canada
Francesca Toni, Imperial College, UK
[7] UK Constraint Network (Consnet) Annual Workshop.
Organiser: Mark Wallace, mgw at icparc.ic.ac.uk
Consnet is a network of researchers aiming to drive forward the
technology and skills available in the UK to tackle computational
problems involving constraints.
The aims of the workshop are to disseminate the results of recent
research in this area, to encourage cross-fertilisation of ideas
and new multi-disciplinary research proposals, to publicise and
learn from existing successful applications and from problems
which are currently out of reach, to identify the vision of this
research community for the long-term future development of
constraints technology, and to plan a corresponding long-term
strategy to achieve the necessary scientific advance and take-up.
Organiser:
Mark Wallace, IC-Parc, Imperial College
Committee:
David Gilbert, City University
Ken Brown, Aberdeen University
Suzanne Embury, Cardiff University
Edward Tsang, Essex University
Dave Cohen, Royal Holloway College
Pat Prosser, Strathclyde University
Barbara Smith, Leeds University
Ian Gent, St Andrews University
Toby Walsh, University of York
Peter Jeavons, University of Oxford
==========================================================================
Questions over the workshop's organization can be addressed to the
workshop chair:
Sandro Etalle http://www.cs.unimaas.nl/~etalle/
etalle at cs.unimaas.nl
Dept. of Computer Science, University of Maastricht,
P.O. Box 616, 6200 MD Maastricht
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list