Subject: [2nd CFP] LOPSTR'98: Logic-based Program Synthesis and Transformation
From: lopstr98@CS.Bilkent.Edu.TR (LOPSTR'98)
To: elsnet-list@cogsci.ed.ac.uk
Date: Wed, 4 Mar 1998 13:37:43 +0200


___________________________________________________________________________

            My apologies if you receive this more than once!
___________________________________________________________________________


			  SECOND CALL FOR PAPERS


				LOPSTR'98

		      8th International Workshop on
	     Logic-based Program Synthesis and Transformation


	      Manchester, United Kingdom, 16 - 19 June 1998

	 Sponsored by the Association for Logic Programming (ALP)
and by the ESPRIT Network of Excellence in Computational Logic (Compulog Net)

LOPSTR'98  is  the  eighth  in  a  series  of  international  workshops  on
logic-based  program  synthesis  and  transformation.  It will  be  held in
parallel  to the Joint  International  Conference  and  Symposium  on Logic
Programming (JICSLP'98).


New Objectives

As a workshop,  LOPSTR'98 will continue the tradition of being a lively and
friendly  forum for  presenting  recent  and  current  research  as well as
discussing future trends in the synthesis and  transformation  of programs.
Compared to previous editions, however, the scope and mode of operation are
somewhat modified.

The  _scope_  now  encompasses  any  computational-logic-based  techniques,
languages, and tools for the  interactive or automated  development  of any
kinds  of  programs.  Also,  papers   discussing   programming-in-the-large
issues, or presenting practical  applications, or convincingly  arguing for
the  practical   applicability  of  given   theoretical   results  are  now
encouraged.

The  _mode_of_operation_  now is as follows.  Based upon submitted extended
abstracts,  the programme  committee  will invite  authors to present their
research  at the  workshop.  Pre-proceedings  with  the  accepted  extended
abstracts will be available at the workshop as a technical report.  Shortly
after the workshop, the programme  committee will invite the authors of the
most promising  abstracts and  presentations  to submit full papers.  After
another round of  refereeing,  the best full papers will be included in the
post-workshop  proceedings,  which are to be  published  within the Lecture
Notes in Computer Science series of Springer-Verlag.

At this point, extended abstracts of at most eight pages are thus solicited
about, but not limited to, the following topics:

	specification		analysis
	synthesis		verification
	composition		reuse
	transformation		schemas
	specialisation		industrial applications

Every  submission must clearly exhibit the  relationship to the (new) scope
of the workshop, and must really be an extended  abstract.  It must thus be
a  miniature  research  paper  with the key  motivations  and  ideas,  with
outlines  of  the  proofs  of  the  key  theorems,  with  references  and a
(favourable) comparison to related work, but without full details of proofs
or implemented  systems,  without the  description  of future work, without
ramifications  that  are  irrelevant  to the  key  ideas.  A good  extended
abstract  convinces  a  specialist  referee  of  the  significance  of  the
described research in about one hour.  Submissions that fail to comply with
these content and size requirements may be rejected  (without  refereeing),
no matter how high the scientific merit of the discussed work.


Programme Committee

    Pierre Flener       Bilkent University, Turkey   (programme chair)
 Nicoletta Cocco        University of Venice, Italy
   Andreas Hamfelt      Uppsala University, Sweden
  Kung-Kiu Lau          University of Manchester, UK  (workshop chair)
  Baudouin Le Charlier  University of Namur, Belgium
   Michael Leuschel     Catholic University of Leuven, Belgium
   Michael Lowry        NASA Ames, USA
       Ali Mili         Institute for Software Research, USA
       Lee Naish        Melbourne University, Australia
     Mario Ornaghi      University of Milan, Italy
   Alberto Pettorossi   University of Rome II, Italy
      Dave Robertson    University of Edinburgh, UK
   Richard Waldinger    SRI International, USA


Important Dates

  Submission of extended abstracts   27 March 1998
  Notification to authors             1 May 1998
  Submission of full papers          25 September 1998
  Notification to authors            30 October 1998


Submissions

Electronic  submissions are strongly encouraged.  See the workshop homepage
for  full  instructions  regarding  the  formatting  requirements  and  the
electronic   submission   procedure.  Address  all  correspondence   (email
preferred) to:

  Pierre Flener (LOPSTR'98) Phone: +90 312 266 4000 ext.1450
  Dept of Computer Science    Fax: +90 312 266 4126
  Bilkent University        Email: {lopstr98,pf}@cs.bilkent.edu.tr
  06533 Ankara                Web: http://www.cs.bilkent.edu.tr/~lopstr98
  Turkey                   Mirror: http://www.cs.man.ac.uk/~kung-kiu/lopstr98