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

0. Calendar Manager Info:

        Date:   Wed 13 Nov 1996
        Start:  1400
        End:    1500
        What:   ANU Comp. Sci. Seminar - Dr Jim Grundy
		Trustworthy Storage and Exchange of Theorems
                
1. Speaker: Dr Jim Grundy
            Associate Lecturer
            Department of Computer Sciences
	    The Australian National University

2. Time:    2:00pm - 3:00 pm, 13th November 1996 (Wednesday)

3. Place:    Room N101 in the Department of Computer Science
             Ground Floor, CSIT Building, ANU

4. Title: Trustworthy Storage and Exchange of Theorems

5. Target Audience: honours students and above

6. Abstract: 

   This talk will consider the application of digital signatures to the storage
   and exchange of mechanically verified theorems.  Digital signatures allow
   theorems to be represented outside a theorem prover in a transparent yet
   trustworthy way.  As a result, it is possible to confidently reuse stored
   theorems without checking their proofs.  The talk also suggests some
   potential applications that may be made more practical by the ability to
   know that a theorem has been proved without having to recheck its proof.

7. Biography

   Jim Grundy is an associate lecturer in the Department of Computer Science
   at The Australian National University.  His research interests include
   the production of formally verified hardware and software, and - in
   particular - the stepwise derivation of provably correct software.  He is
   also interested in mechanised reasoning tools.

   Dr Grundy holds the degrees of BSc (Hons.), in Computer Science from the
   University of Queensland (1989), and PhD in Computer Science from 
   Cambridge University (1993).  Since then he as worked as a research 
   scientist with the Australian Defence Science & Technology Organisation and
   has had a post-doctoral position with Abo Akademi University in Finland.
   He joined ANU in September 1996.

8. Contact:

   For more information contact Dr Grundy via Jim.Grundy[at]cs.anu.edu.au

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
You have a seminar to announce? Send mail to seminars-owner[at]cs.anu.edu.au
  Please follow the above format.  DCS seminar announcements appear at 
               http://cs.anu.edu.au/lib/seminars/seminars96/
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=