~~~~~~~~~~~~~~~ BRITISH HCI GROUP ~~~~~~~~~~~~~~~
~~         http://www.bcs.org.uk/hci/          ~~
~~~~~~~~~~~~~~~~~ NEWS SERVICE ~~~~~~~~~~~~~~~~~~
~~ All news to:[log in to unmask]  ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ Newsarchives:                               ~~
~~ http://www.mailbase.ac.uk/lists/bcs-hci/    ~~
~~ archive.html                                ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The 21st anniversary of the British Computer Society Formal 
    Aspects of Computing Science Special Interest Group 

        2nd December 1998, British Royal Society


To mark this coming of age, we have invited four of our distinguished Fellows 
of the British Royal Society to select highlights of current research 
achievements, reflect on past lessons learned and look forward to future 
directions.

      Mike Gordon     21 Years of Hardware Verification
      Tony Hoare      Top-down and bottom-up and meeting in the middle
      Robin Milner    Computing is Interaction
      Gordon Plotkin  On Syntax

The FACS at 21 meeting will take place at The Royal Society, 6 Carlton House
Terrace, London, commencing 9.30 am and finishing by 5.00 pm. In addition,
there will be an opportunity to attend an evening meal attended by the 
speakers. (Registration form below.)

*** REGISTRATION DEADLINE 18th November ***

For more information contact: Computing Research Centre, School Of Computing
and Management Sciences, Sheffield Hallam University, Sheffield, S1 1WB, UK.
Tel. +44 (0) 114 225 5555. Current information is available at: 

   http://www.shu.ac.uk/facs21


---------------------------------------------------------------

                    Registration Form

              FACS at 21 -- Coming of Age? 
 
            A meeting organised by BCS-FACS
 
           to take place at the Royal Society
            
                on 2nd December 1998

 
 Registration fee (UK Pounds), which includes lunch and refreshments:
                                              _
 30 pounds, including VAT, student rate      |_|
                                              _
 45 pounds, including VAT, FACS members      |_| 
                                              _
 50 pounds, including VAT, non FACS members  |_|
                                              _
 Dinner, 45 pounds including VAT             |_|
 
 (Please tick boxes which apply)


 Name:        ______________________________ 

 Affiliation: ______________________________

 Address:     _______________________________________
              _______________________________________
              _______________________________________
              _______________________________________

 Email:       ______________________________

 Phone:       ______________________________


 Any special requirements: ____________________________________________ 



 Signature: ______________________________________


 This Registration Form and a cheque made payable to BCS-FACS should be sent
 to Margaret M West (email [log in to unmask]). 
 Note: the deadline for registration is 18th November.
 
   Margaret M West (FACS@21) 
   School of Computing and Maths,
   University of Huddersfield,
   Queengate
   Huddersfield, HD1 3DH, UK

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ NOTE: Please reply to article's originator, ~~
~~ not the News Service                        ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To receive HCI news, send the message:      ~~
~~ "JOIN BCS-HCI your_firstname your_lastname" ~~
~~ to [log in to unmask]                ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
~~ To join the British HCI Group, contact      ~~
~~ [log in to unmask]                              ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                      


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%