Relay-Version: version B 2.10.2 9/18/84 +2.11; site uk.ac.ox.prgv
Posting-Version: version B 2.10.3 uknet 86/05/14; site uk.ac.oxford.prg
Path: prgv!daemon
From: Ruaridh Macdonald (on UK.MOD.RSRE) <RM@uk.mod.rsre>
Newsgroups: zforum
Subject: Z Forum Issue 3.4
Message-ID: <15 <AUG 1988 16:40:46 RM@RSRE>
Date: 15 Aug 88 16:23:25 GMT
Date-Received: 15 Aug 88 16:24:04 GMT
Lines: 88


 
15th August 1988               Z FORUM               Volume 3 Issue 4       
----------------               -------               ----------------
 
                            Today's Topic
                            -------------
 
                       Formal Methods Courses
 
 
----------------------------------------------------------------------
 
From:    Colin Grant <colin@uucp.logcam>
Date:    Thu, 4 Aug 88 11:38:17 BST
Subject: Formal Methods Courses


+--------------------------------+---------------------------------+
|Colin Grant                     |Phone: +44 223 66343             |
|Logica Cambridge Limited        |                                 |
|Betjeman House                  |UUCP : colin@logcam.co.uk        |
|104 Hills Road                  |       colin@logcam.uucp         |
|Cambridge CB2 1LQ               |       ..!mcvax!ukc!logcam!colin |
+--------------------------------+---------------------------------+

------8<------8<------8<------8<------8<------8<------8<------8<------
                        Formal Methods Courses
                        ______________________


Logica  have been presenting  courses in Formal Methods for  some time
and these have now come under the supervision of the Advanced Software
Engineering  Group  at  Logica   Cambridge  Ltd   (Logica's   Advanced
Technology Centre).

We currently have three residential courses in VDM, Z and Introduction
to Formal   Methods.  We are  soon  to start  a  fourth course  in the
specification of Concurrent Processes.

For further information about any of these courses please contact

      Rosalind Barden
      Logica Cambridge Ltd
      Betjeman House
      104 Hills Road
      Cambridge
      CB2 1LQ

      email:  rosalind@logcam.co.uk

-----------------------------------------------------------------------
!!!Stop Pres!!! Introduction to Formal Methods Course 31/8/88 to 2/9/88
-----------------------------------------------------------------------

                Introduction to Formal Methods Course
                _____________________________________

Logica Cambridge Ltd  are running a  course on Introduction  to Formal
Methods from August 31st to September 2nd at Farnham Castle, Surrey.

This course aims to  provide an  introduction  to  formal methods  for
managers   and  senior technical   staff.   The course   will give  an
understanding of what  formal  methods are and the   strengths  of the
various approaches.   Special  attention  will be  paid  to management
issues such as the impact of the use of formal methods on the software
development process and the provision of skilled staff and tools.

The  course  will run  for  three  days  and provide  a  comprehensive
introduction to the different methods, their use and  impacts upon the
software development process.

The cost of the course is 500 pounds plus VAT

For further information and booking details please contact

                Diane Richards
                Sesame
                Logica Cambridge Ltd
                64 Newman Street
                LONDON
                W1A 4SE

                Tel:  01 - 637 - 9111 ext 2041

 
************************* END OF Z FORUM 3.4 ************************