[mercury-users] CL2000: call for workshop papers
Raamsdonk van F
femke at skiff.cs.vu.nl
Wed Feb 16 19:25:58 AEDT 2000
*** apologies for multiple copies ***
First International Conference on Computational Logic
Imperial College, London, UK
24th to 28th July, 2000
http://www.doc.ic.ac.uk/cl2000/
FIRST 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
Organizer: Gopal Gupta gupta at cs.nmsu.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 Logic Programming and Software Engineering
Organizer: Gopal Gupta gupta at cs.nmsu.edu
The workshop I is concerned with how (constraint) logic
programming can aid in engineering of large software systems. For
example, how (C)LP can help in specification and modeling of s/w
systems including real-time systems, verification of software
systems, automatic derivation of efficient implementations,
The workshop papers are solicited on the following topics:
* (C)LP for modeling and specification of large software systems
incl. real-time systems
* (C)LP for verification and model checking of s/w systems and
real-time systems.
* (C)LP for deriving efficient implementations from
specifications.
* (C)LP for Process Discover in S/W Engineering.
* Any other application of (C)LP for S/W Engineering.
[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);
- 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] 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
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.
deadline for submission: April 30th, 2000
[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