Sixth Automated Reasoning Workshop
Bridging the Gap between Theory and Practice

The following programme is planned:

THURSDAY, 8 April 1999:
9:00-10:00	Invited Talk: Andrei Voronkov
	"Herbrand's Theorem, Automated Reasoning and Semantic Tableaux"
10:00-10:30	1st Poster Session
10:30-11:00	Coffee/Tea Break
11:00-12:30	Panel Session "Diagrammatic Reasoning"
	(organised by Mateja Jamnik with Peter Cheng, Mateja Jamnik, Keith Stenning)
12:30-14:00	Lunch
14:00-15:30	AISB keynote talk: Margaret Boden
	"Creativity and Evaluation"
15:30-15:45	Coffee/Tea Break
15:45-16:45	Invited Talk: Simon Colton
	"Automated Discovery in Mathematics and Other Sciences"
16:45-17:15	2nd Poster Session
FRIDAY, 9 April 1999:
9:00-10:00	Invited Talk: Maarten de Rijke
	"Combining Reasoning Systems"
10:00-10:30	3rd Poster Session
10:30-11:00	Coffee/Tea Break
11:00-12:30	Joint session with the "Symposium on AI and Scientific Creativity" with talks by
	J. McCarthy ("Creative Solutions to Problems") and
	J. Kamps ("On the Process of Axiomatizing Scientific Theories: Using Justification Criteria in the Context of Discovery")
12:30-14:00	Lunch
14:00-15:30	Panel Session "Proof in Combinations of Modal Logics"
	(organised by Michael Fisher with Brandon Bennett, Clare Dixon, Enrico Franconi/Ian Horrocks, Ullrich Hustadt, Maarten de Rijke)
15:30-15:45	Coffee/Tea Break
15:45-17:15	Open Session

At the moment the following presentations are scheduled for the poster sessions:

1st Poster Session: PROGRAM VERIFICATION -- FORMAL METHODS -- DESCRIPTION LOGICS

Louise Dennis:	Prosper: Proof and Specification Assisted Design Environments
Michael Franssen:	Cocktail: A Tool for Deriving Correct Programs
Stephan Reiff, Muffy Calder:	The application of model-checking to verification problems in telephone switching systems
Sergio Tessaris:	Reasoning with Individuals in Description Logics with Transitive Roles: Preliminary Report
Haiyan Xiong, Paul Curzon, Ann Blandford:	Combining Verification Systems in a Trusted Way to Reap the Benefits of Both

2nd Poster Session: MATHEMATICAL INDUCTION -- PROOF PLANNING (+ FORMAL METHODS)

Christoph Benzmüller, Volker Sorge:	Towards Fine-Grained Proof Planning with Critical Agents
Richard J. Boulton:	Reasoning about Computer Languages by Automated Mathematical Induction
Jeremy Gow, Alan Bundy, Ian Green:	The Dynamic Creation of Induction Rules
Andrew Ireland, Jamie Stark, Andrew Cook:	Automated Reasoning for Dependable Computing
Helen Lowe, Gordon Reid:	Automated Reasoning and Practical Formal Methods
Julian Richardson:	Proof Planning in Higher-Order Logic with Lambda-Clam

3rd Poster Session: MODAL LOGICS -- NON-CLASSICAL LOGICS -- AGENTS

Alexander Bolotov:	Clausal resolution for branching-time temporal logics and temporal mu-calculus.
Jutta Eusterbrock:	Composing Re-usable Synthesis Methods through Viewpoints
Michael Fisher:	Agents and Non-Classical Logics
Alan M. Frisch:	A Project to Build Background Knowledge into Refinement Operators for Inductive Logic Programming
Ullrich Hustadt, Renate A. Schmidt:	Maslov's Class K Revisited & On the Relation of Resolution and Tableaux Proof Systems for Description Logics
Manfred Kerber:	On Truth, Knowledge, Strings, and Paradoxes
Hans Jürgen Ohlbach:	Set Description Languages and Reasoning about Numerical Features of Sets

The informal workshop proceedings are available in gzipped PostScript form (copyright with the authors).
The orginal Call for Participation can be found here.

• about the Workshop Series
• about the Workshop by e-mail to the programme chair
• about AISB-Convention from Dr Geraint Wiggins & Dr Helen Pain, School of Artificial Intelligence, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, Scotland, geraint@dai.ed.ac.uk and helen@dai.ed.ac.uk; Tel: +44-131-650 2702; Fax: +44-131-650 6516.