LINGUIST List 11.768

Tue Apr 4 2000

Calls: Athabaskan Prosody, Logic/Program Synthesis

Editor for this issue: Jody Huellmantel <>

As a matter of policy, LINGUIST discourages the use of abbreviations or acronyms in conference announcements unless they are explained in the text.


  1. S. Hargus, Workshop on Athabaskan Prosody
  2. F. van Raamsdonk, Logic-based Program Synthesis and Transformation (LOPSTR 2000)/ Comp Ling (CL 2000)

Message 1: Workshop on Athabaskan Prosody

Date: Mon, 3 Apr 2000 16:54:59 -0700 (PDT)
From: S. Hargus <>
Subject: Workshop on Athabaskan Prosody

A Workshop on Athabaskan Prosody: Tone, stress, tone-stress interaction,
prosody-morphology interaction will take place Friday, June 9, 2000 in
Moricetown, B.C., Canada. Invited speakers include: Jeff Leer, Siri
Tuttle, Bill Poser, John Alderete, Tanya Bob and Suzanne Gessner. 
Funding for the workshop is provided by a SSHRC grant (to Tonia Mills,
Margaret Anderson and Sharon Hargus) and by workshop registration fees.

The annual Athabaskan Language Conference will take place Saturday and
Sunday, June 10-11, 2000, in Moricetown. This year's conference will
feature a multi-media fair (pending sufficient submissions for a 'fair'). 
Funding for the conference is provided by The University of Northern
British Columbia, University of Washington, Kyah Wiget Education Society,
and conference registration fees.

A conference web site has been set up at:

The recently updated web site now includes:

	*registration form
	*accommodation guide and other logistical considerations

Participants should make their own arrangements for lodging in Smithers, a
town about 21 miles to the south of Moricetown. However, a limited amount
of billeting in private homes in Moricetown may be available. See
registration form.

Abstracts are currently being accepted for 20-minute presentations on any
aspect of the Athabaskan languages: linguistics, pedagogy, language
maintenance, lexicography, language and culture, etc. Abstract
submissions for either the prosody workshop or the conference per se are

Please send a 1-page abstract to Sharon Hargus by May 1, 2000. Abstracts
may be submitted by e-mail (, FAX (206 685-4263),
or regular mail (Sharon Hargus, University of Washington, Department of
Linguistics, Box 354340, Seattle WA 98195-4340). Include your name,
institution, address, e-mail address, and phone or FAX. One-page abstracts
must be accompanied by a 50-word version, which will be posted on the
conference web site. Abstracts for multi-media presentations should also
specify format of presentation and equipment needed.

Sharon Hargus Department of Linguistics (206) 685-4263
 University of Washington FAX (206) 685-7978
 Box 354340 
 Seattle WA 98195-4340
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: Logic-based Program Synthesis and Transformation (LOPSTR 2000)/ Comp Ling (CL 2000)

Date: Tue, 4 Apr 2000 18:51:29 +0200 (MET DST)
From: F. van Raamsdonk <>
Subject: Logic-based Program Synthesis and Transformation (LOPSTR 2000)/ Comp Ling (CL 2000)

 Second 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 ( ) 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 ( ).
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"

Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue