++++++++++++++++++++++++++++++++++++++++++++++
            +        Computer Science Seminar            +
            ++++++++++++++++++++++++++++++++++++++++++++++

0. Calendar Manager Info:

	Date:   7 May 1996
	Start:  1300
	End:    1400
	What:   ANU Comp. Sci. Seminar - Prof Rod Burstall
                

1. Speaker: Professor Rod Burstall
            Dept. of Computer Science
            Edinburgh University

2. Time:     1:00pm - 2:00 pm, 7 May 1996 (Tuesday)

3. Place:    Seminar Room 101, in the Department of Computer Science
             Ground Floor, CSIT building, ANU


4. Title:  Inductively Defined Relations

5. Target Audience: honours students and above

6. Abstract: 
	Inductive definitions for relations are useful for defining logics and
	defining the semantics of programming languages, more generally for
	specifying concepts used to describe programming tasks.  The theorem
	proving community has been making use of them, e.g. in HOL or Coq.
	This talk will be an informal review of techniques for proving
	properties of inductively defined relations.



7. Contact:
	For more information contact rb[at]cs.anu.edu.au  or  mcn[at]cs.anu.edu.au