Second workshop on automated reasoning:
Bridging the gap between theory and practice

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;

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 above. 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.

Deadlines

    Submission Deadline:  February 10th, 1995
    Notification Date:    February 20th, 1995
    Final revisions:      March 7th, 1995
    

    Andrew Ireland <a.ireland@ed.ac.uk>
    Department of Artificial Intelligence
    University of Edinburgh
    80 South Bridge
    Edinburgh EH1 1HN
    SCOTLAND
    
    vox: (+44) 31 650 2721
    fax: (+44) 31 650 6516

• Andrew Ireland Programme Chair (University of Edinburgh)
• Alan Bundy (University of Edinburgh)
• Barry Crabtree (BT Labs, Ipswich)
• Alan Frisch Committee Chair (University of York)
• Roger Jones (ICL, Wokingham)
• Antony Galton (University of Exeter)