[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