[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