Call for workshop participation: Third Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice April 1-2, 1996 University of Sussex, England Held in Conjunction with the AISB 96 Workshop Series Following the highly successful first two Workshops 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. For the third workshop we aim to have a theme on temporal reasoning, and so we particularly encourage submissions relating to this theme. However, 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 a number of panel sessions over two days. 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 an open poster session. We are pleased to announce that invited talks will be given by Howard Barringer (Manchester University) and by Jean-Francois Puget (ILOG, France). 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, 1996, 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 or temporal 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 form. Postscript submissions are preferred in uuencoded form. On the basis of these submissions, invitations to the workshop will be issued by February 20th, 1996. The position papers of all participants will be assembled into an informal proceedings distributed to all participants but not published. Participants wishing to revise their position papers, may do so by March 7th, 1996. A poster session will be held, supported by very short talks by the participants of this session. Potential participants interested in giving a poster should mention this when sending their submissions. Please note that invitations to the workshop will be made independently of whether or not the participant wishes to give a poster. After invitations have been decided a selection will be made of those wishing to present a poster. If there is sufficient interest, we hope to have demonstrations of automated reasoning systems, especially as applied to real problems. If possible these will be run remotely from an X station. Anyone interested in giving a demonstration should contact the programme chair. There is a possibility that student grants will be available to cover registration and accommodation. Anybody interested in applying for these should inform the programme chair with their submission. All submissions and correspondence should be sent to the Programme Chair: Ian P. Gent, Department of Computer Science. University of Strathclyde, Glasgow G1 1XH, Scotland. email: ipg@cs.strath.ac.uk phone: 0141 552 4400 extension 4527 fax: 0141 552 5330 WWW: http://www.cs.strath.ac.uk/Contrib/ipg/ Organizing Committee: Alan Bundy (Univ. of Edinburgh), Alan Frisch (chair, Univ. of York), Antony Galton (Univ. of Exeter), Ian Gent (Univ of Strathclyde), Mike Gordon (Cambridge Univ.), Andrew Ireland (Heriot Watt Univ.), Chris Preist (Hewlett-Packard Research Labs)