[mercury-users] LOPSTR 2000 call for papers

F. van Raamsdonk femke at skiff.cs.vu.nl
Fri Mar 3 19:29:51 AEDT 2000

              *** 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


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. 

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

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

More information about the users mailing list