Subject: [Fwd: 3/13/2001 Formal Methods: Whence and Whither?; Jonathan Bowen - South Bank University, London]
From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Feb 19 2001 - 17:40:26 PST
Anyone interested in attending this? I'm at IBM that day, but it might be
interesting to hear.
-- Craig
Jeanette Draves wrote:
>
> > You are invited to attend...
> > **************************************************************************
> > ***************************
> > WHO: Jonathan Bowen
> > AFFILIATION: South Bank University, London
> > TITLE: Formal Methods: Whence and Whither?
> > WHEN: Tues 03/13/01
> > WHERE: 113/1021 Research Lecture Room
> > TIME: 1:30 PM - 3:00 PM
> > HOST: Wolfram Schulte
> CONTACT: Jeanette Draves (jeanett@microsoft.com)
> NOTE: If attending, e-mail your name and UW affiliation to above
> contact. Directions are on the web clicking on "About MSR"
> at http://www.research.microsoft.com
> > **************************************************************************
> > ****************************
> > ABSTRACT:
> Formal methods are not widely used in industry, despite being lauded by some
> academics. However they are used successfully in certain sectors and
> applications, sometimes without much fanfare. This talk examines what has
> been achieved using formal methods so far, where and when they are
> applicable or not, and what could be achieved in the future. Audience: No
> knowledge of formal methods will be necessary.
>
> > BIO:
> Jonathan Bowen is Professor of Computing at South Bank University where he
> heads the Centre for Applied Formal Methods. From 1995 to March 2000, Bowen
> was a lecturer at the Department of Computer Science, University of Reading
> where he led the Formal Methods and Software Engineering Group. Previously
> he was a senior researcher at the Oxford University Computing Laboratory
> Programming Research Group where he worked under the guidance of Sir Tony
> Hoare, FRS. Between 1979 and 1984 he worked at Imperial College, London as a
> research assistant, latterly in the interdepartmental Wolfson Microprocessor
> Laboratory. He has been involved with the field of computing in both
> industry (including Marconi Instruments, Logica and Silicon Graphics Inc.)
> and academia since 1977. His interests include formal methods,
> safety-critical systems, the Z notation, provably correct systems, rapid
> prototyping using logic programming, decompilation, hardware compilation,
> software/hardware co-design, the history of computing and on-line museums.
> He holds an MA degree in Engineering Science from Oxford University.
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Mon Feb 19 2001 - 17:41:03 PST