Call for workshop participation:
				   
				    
    	       Second Workshop on Automated Reasoning:
	     Bridging the Gap between Theory and Practice


			     April 4, 1995
   	           University of Sheffield, England
				   

	             Held in Conjunction with the 
                    Tenth AISB Biennial Conference


Following the highly successful First Workshop on Automated Reasoning,
this workshop will provide an informal forum for the automated
reasoning community.  Researchers across the broad spectrum of
automated reasoning have observed a gap between theory and practice in
their area of specialization.  This workshop series aims to bring
together researchers from all areas of automated reasoning to address
approaches to bridging this gap.  The workshop also aims to foster
links and facilitate cross-fertilization of ideas among researchers
from various disciplines; among researchers from academia, industry
and government; and between theoreticians and practitioners.

The scope of the workshop will cover the full breadth and diversity of
automated reasoning, including topics such as logic and functional
programming; equational reasoning; deductive databases; unification
and constraint solving; the application of formal methods to
specifying, deriving, transforming and verifying computer systems and
in particular safety-critical systems; deductive and non-deductive
reasoning, including abduction, induction, nonmonotonic reasoning, and
analogical reasoning; commonsense reasoning; and the wide range of
topics that fall under the heading of knowledge representation and
reasoning.

Format: The workshop will be structured around 3 or 4 panel
sessions. In order to make best use of this format we would ask you to
suggest session topics which would be of particular interest to you
when you submit your abstract. In addition to panel sessions there
will also be open poster sessions.

This is intended to be an inclusive workshop, with participants
encouraged from the broad spectrum covered by the field of automated
reasoning.  We encourage the participation of experienced researchers as
well as those new to the field, especially students.


Required Background: Some understanding of the pure or applied problems
in any subarea of automated reasoning.

Submission Requirements: Anyone interested in participating in this
workshop should submit a position paper by February 10th, 1995, to the
programme chair at the address below.  The paper should address the
theme of the workshop, "bridging the gap between theory and practice",
as it applies to any aspect of automated reasoning.  Submissions must 
be a maximum of 2 pages of A4 paper with one inch margins. Authors either 
may submit three unstapled hardcopies of their paper, or may email their 
paper in postscript.

On the basis of these submissions, invitations to the workshop will be
issued by February 20th, 1995.  The position papers of all
participants will be assembled into an informal proceedings
distributed to all participants.  Participants wishing to revise their
position papers, may do so by March 7th, 1995.

All submissions and correspondence should be sent to the Programme Chair:

  Andrew Ireland
  Department of Artificial Intelligence  
  University of Edinburgh       
  80 South Bridge
  Edinburgh EH1 1HN
  United Kingdom
  phone: +44 (31) 650 2721
  fax:   +44 (31) 650 6516
  email: a.ireland@ed.ac.uk

Workshop Committee: Alan Bundy (Edinburgh), Alan Frisch (York), 
                    Antony Galton (Exeter), Andrew Ireland (Edinburgh).


=======================================================================