[mercury-users] LOPSTR 2000 call for papers

[F. van Raamsdonk]

              *** apologies for multiple copies ***

                     First Call for Papers
                     ---------------------

                         LOPSTR 2000

                 Tenth International Workshop on
         Logic-based Program Synthesis and Transformation 

               Program Development Stream of CL 2000
       First International Conference on Computational Logic

                       24-28 July 2000
                 Imperial College, London, UK

           http://www.cs.man.ac.uk/~kung-kiu/lopstr2000

LOPSTR 2000, The Tenth International Workshop on Logic-based Program 
Synthesis and Transformation will be held on 24-28 July 2000 at
Imperial College, London, UK, as the Program Development Stream at
CL2000, the First International Conference on Computational Logic.

The aim of LOPSTR (http://www.cs.man.ac.uk/~kung-kiu/lopstr) is to
stimulate and promote international research and collaboration on 
logic-based program development, and the workshop is open to
contributions in logic-based program development in any paradigm. Past
workshops were held in Manchester, UK (1991, 1992, 1998),
Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the
Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997),
Venice, Italy (1999).

LOPSTR also aims to be a lively, friendly forum for presenting and
discussing work in progress, so it is a real workshop in the sense
that it is intended to provide useful feedback to authors on their
preliminary research. Formal proceedings of the workshop are produced
only after the workshop, in order that authors can incorporate this
feedback in the published papers.

LOPSTR 2000 will be run as follows:
- Authors submit extended abstracts (8 pages) describing work in progress.
- Promising abstracts relevant to the scope of LOPSTR are selected
  for presentation at the workshop.
- At the workshop, only informal pre-proceedings of the selected
  abstracts are available (usually in the form of a technical report).
- After the workshop, authors of the best abstracts are invited to
  submit full papers. These are reviewed, and accepted papers then
  form the formal (fully refereed) proceedings of the workshop,
  currently published in the Lecture Notes in Computer Science series,
  by Springer-Verlag. 

                          Topics
                          ------
We solicit extended abstracts describing work in progress. Topics of
interest cover all aspects of logic-based program development, all
stages of the software life cycle, and issues of both 
programming-in-the-small and programming-in-the-large.

For programming-in-the-small, the following is a non-exhaustive list:
- specification     - analysis 
- synthesis         - optimisation
- verification      - composition
- transformation    - reuse
- specialisation    - applications

For programming-in-the-large, the above topics are particularly of
current interest in the context of:
- component-based software development 
- software architectures 
- design patterns and frameworks.

                     Submission Guidelines
                     ---------------------
Extended abstracts should be written in English and should not exceed
8 pages in llncs format (http://www.springer.de/comp/lncs/authors.html).
Abstracts must be submitted electronically using the submission form
(http://www.cs.man.ac.uk/~kung-kiu/lopstr2000/subm).

Submission deadline:   21 April 2000
Notification:          26 May   2000

                       Programme Chair
                       ---------------
                 Kung-Kiu Lau, Manchester, UK

                     Programme Committee
                     -------------------
            David Basin           Freiburg, Germany
            Annalisa Bossi        Venice, Italy
            Antonio Brogi         Pisa, Italy
            Maurice Bruynooghe    Leuven, Belgium
            Mireille Ducasse      IRISA/INSA, France
            Sandro Etalle         Maastricht, The Netherlands
            Pierre Flener         Uppsala, Sweden
            Michael Hanus         Kiel, Germany
            Ian Hayes             Queensland, Australia
            Manuel Hermenegildo   Madrid, Spain
            Patricia Hill         Leeds, UK
            Kung-Kiu Lau          Manchester, UK
            Baudouin Le Charlier  Namur, Belgium
            Michael Leuschel      Southampton, UK
            Michael Lowry         NASA Ames, USA
            Ali Mili              West Virginia, USA
            Torben Mogensen       Copenhagen, Denmark
            Alberto Pettorossi    Rome, Italy
            Don Sannella          Edinburgh, UK
            Doug Smith            Kestrel Institute, USA
            Zoltan Somogyi        Melbourne, Australia

                           CL 2000
                           -------
As the Program Development Stream at CL2000, LOPSTR 2000 will also
include CL 2000 full papers on program development (the submission
deadline for these is past), and LOPSTR 2000 participants will be
able to attend all CL 2000 sessions.

                    CL 2000 Invited Speakers
                    ------------------------
             Keynote Speaker: J. Alan Robinson 
           
            Invited Speakers: Krzysztof Apt 
                              Melvin Fitting 
                              David Page 
                              David Poole 
                              Leslie Valiant 
                              (plus 2 more to be advised)
Tutorial Speakers: 
           
Peter Flach 
"Knowledge Representation for Inductive Logic Programming"
       
Michael Hanus 
"Functional Logic Programming"
       
Manuel Hermenegildo 
"Ciao Development System"
       
Michael Kohlhase 
"Deduction in Natural Language Understanding"
       
Aart Middeldorp 
"Term Rewriting and Narrowing"
       
Stephen Muggleton 
"Applications of Inductive Logic Programming"
       
Ilkka Niemela 
"Stable Model Semantics: From Theory to Implementations and Applications"
       
Andreas Podelski 
"Constraints for Program Analysis and Model Checking"
       
Vitor Santos Costa 
"High Performance Logic Programming Systems"
       
Pascal Van Hentenryck 
"Optimization Programming Language"
       
Toby Walsh 
"Phase Transition Behaviour"
       
Michael Wooldridge 
"The Logic of Rational Agency"
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------