July 5th, evening

  Using formal verification methods in an industrial environment for a
  decade.  Conclusions and perspectives.

  Gerard Roucairol
  Groupe Bull R&D President




July 6th (6pm - 8pm)

Panel on: "Current trends in research funding in the use of logic  
	        and formal methods in computer science"

Moderator:	Alan Bundy
		Head, Division of Informatics
		University of Edinburgh

Speakers:	Ruzena Bajcsy
		Assistant Director 
                The National Science Foundation, USA
		Directorate of Computer and Information Science and
			Engineering 


                Simon Bensasson 
                (European Commission)

		George Metakides
		Director DG III - Industry
		Directorate F - RTD: Information technologies
		European Commission