Monash FCIT AI Consortium (MAIC)
  Faculty of Computing and Information Technology, Monash University

                  * * *  Seminar Announcement  * * *

		     "Turning proofs into programs"

			    David Albrecht
		    Department of Computer Science
			 dwa@cs.monash.edu.au

		       
		Wednesday 13 September 1995 at 2.00 pm
		 Computer Science Seminar Room (135)
		CS Building 26, Clayton, Victoria 3168

Abstract
========

Abstract:  This  will be  an introductory  talk on extracting programs
from proofs.  In the   talk we will   first  give an  introduction  to
Intuitionistic Logic,  Natural   Deduction systems,  and  Curry-Howard
terms.  Then outline how  these concepts  were  used  by Crossley  and
Shepherdson to obtain correct programs.  Finally, we will discuss  how
these ideas have been extended to Linear Logic.

----------------------------------------------------------------------
The MAIC seminar series is free and open to everyone.
Enquiries to: maic-request@fcit.monash.edu.au
URL: http://www.cs.monash.edu.au/~korb/maic-calendar.html