Following in a highly successful series of Workshops on Automated Reasoning, this workshop will provide an informal forum for the automated reasoning community. This workshop series aims to bring together researchers from all areas of automated reasoning in order 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.
Format: The workshop will be structured around a number of panel/discussion sessions over two days. These will not only comprise invited panelists on specific topics, but will be generated from submissions received. While these panels may cover a range of areas, such as "practical reasoning" and "hardware verification", we encourage panelists to consider fundamental questions relating to their area, rather than just promoting their own approach. Thus, when submitting an abstract (see below), feel free to suggest key questions for your area of research. In addition to panel sessions there will also be an open poster session.
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.
Submissions must be a maximum of 2 pages of A4 paper with one inch margins, though short abstracts (as little as one paragraph) are welcome. Authors are encouraged to email a postscript version of their submission (uuencoded and gzipped if possible) to the programme chair. Alternatively, hardcopies (unstapled) may be submitted.
On the basis of these submissions, invitations to the workshop will be issued by February 20th, 1997. The abstracts of all participants, together with key questions that the panels are to consider, will be assembled into an informal proceedings distributed to all participants but not published. Participants wishing to revise their contributions, may do so by March 7th, 1997.
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 terminal. Anyone interested in giving a demonstration should contact the programme chair.
Michael Fisher Department of Computing, Manchester Metropolitan University Chester Street, Manchester M1 5GD United Kingdom email M.Fisher@doc.mmu.ac.uktel (+44 1 61) 247 1488
fax (+44 1 61) 247 1483