---------------------------------------------------------------------------- Call for workshop participation Fourth Workshop on AUTOMATED REASONING: Bridging the Gap between Theory and Practice [ http://www.doc.mmu.ac.uk/STAFF/M.Fisher/aisb97-ar.html ] April 7-8, 1997 University of Manchester, England As part of the AISB 97 Workshop Series [http://www.cs.man.ac.uk/ai/AISB97/] which is to be followed by the Second European Conference on Cognitive Science April 9-11, 1997 University of Manchester, England [http://www.cs.man.ac.uk/ai/ECCS97/] 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. Themes: Although there will be a number of `pre-arranged' items to be discussed during the workshop, it 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/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. Required Background: Some understanding of the pure or applied problems in any sub-area of automated reasoning. 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. Submissions ----------- To sumbit, send a short abstract (between one paragraph and two pages) to the workshop chair (address below) by 5th February 1997. The abstract should concisely outline the author's interests in this area and, if possible, should address one or more key questions in the author's area of automated reasoning, identifying the problems and possible solutions. Authors are encouraged to email a postscript version of their paper (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. Important Dates --------------- Submission deadline: 5 February 1997 Notification of Acceptance: 20 February 1997 Revised contributions required: 7 March 1997 Cheap Rate Registration up till: 1 March 1997 Workshop: 7/8 April 1997 All submissions and correspondence should be sent to the programme chair: Michael Fisher Department of Computing Manchester Metropolitan University Manchester M1 5GD United Kingdom email: M.Fisher@doc.mmu.ac.uk tel: 0161-247-1488 fax: 0161-247-1483 www: http://www.doc.mmu.ac.uk/STAFF/M.Fisher Workshop Series Organizing Committee ------------------------------------ Alan Frisch University of York (chair) Alan Bundy University of Edinburgh Tony Cohn University of Leeds Michael Fisher Manchester Metropolitan University Ian Gent University of Strathclyde Mike Gordon University of Cambridge Andrew Ireland Heriot Watt University Ursula Martin St. Andrews University Chris Priest Hewlett Packard Laboratories ----------------------------------------------------------------------------