🚀 go-pugleaf

Call for Participation

FMDS'98 - First IEEE Workshop on Formal Methods for Dependable Systems

Sponsored by IEEE Computer Society
             IEEE YUFORIC Task Force
             IEEE CS Technical Committee on Complexity in Computing

The First IEEE Workshop on Formal Methods for Dependable Systems
(FMDS'98) will be held at the Carlton Crest Hotel, Brisbane,
Australia, on December 8th, immediately prior to (and co-located with)
the 2nd IEEE International Conference on Formal Engineering Methods
(ICFEM'98).

The aim of the workshop is to provide students and young professionals
working in the areas of formal specification, proof, correctness,
theorem proving, dependability, real-time systems, and high-integrity
systems, amongst others, with a forum for presenting their
work-in-progress, thesis results, or recently completed work.  It will
also provide students, educators and industrialists alike with
knowledge of current research work in the area of formal methods, and
the directions that other students and young professionals are taking.

Attendance at the workshop is open to all, and those attending FMDS'98
are eligible for the ICFEM'98 rate at the Carlton Crest Hotel,
Brisbane.


Workshop Programme

Tuesday 8th December

09:00 - 09:15 Opening Remarks

09:15 - 10:00 "Reactive Systems Development in B"
               -- Pauline Kan, Kevin Lano, England

10:00 - 10:45 "Naming in Z libraries"
               -- Luke Wildman, Australia

10:45 - 11:15 Coffee break

11:15 - 12:00 "Data types for program extraction in proofEd3"
               -- Iman Poernomo, John Crossley, John Jeavons
                  & Bolis Basit, Australia

12:00 - 12:45  "Unification and contexts in information systems
               development"
               --  Ryszard Raban and Brian Garner, Australia

12:45 - 14:00 Lunch

14:00 - 14:45 "Towards Incremental Analysis"
               -- Glenn Lewis and Charles Lakos, Australia

14:45 - 15:30 "Modeling specification-based testing of interactive systems"
               -- Ian MacColl and David Carrington, Australia

15:30 - 16:00 Coffee Break

16:00 - 17:00 Discussion


Registration:

		FMDS'98 Registration Form


FMDS'98 will be held at the Carlton Crest Hotel in Brisbane, Australia
on Tuesday 8th December 1998.  Please use this form to register for
the FMDS'98 workshop.

Further information about FMDS'98 may be obtained from the website
http://www.sqi.gu.edu.au/fmds98/.  Also refer to the associated
conference website of ICFEM'98 at http://www.sqi.gu.edu.au/icfem98/. 

Please print this form, fill in the missing details and either fax
this registration form to:


                        FMDS'98 Registrations
                        +61 7 3365 1533

or post it to:

                        FMDS'98 Registrations
                        Software Verification Research Centre
                        The University of Queensland
                        Queensland 4072
                        Australia

We will confirm receipt of your form as soon as possible by e-mail.
We will confirm your registration by e-mail when we have received your
payment.


PERSONAL DETAILS:

  Title:______ First Name:_______________________________________

        Middle Initial(s):_______________________________________

                Last Name:_______________________________________

  Name for name badge:    _______________________________________
  (Name tags will be `first name last name' unless otherwise requested here).

  Organisation:           _______________________________________

  Affiliation(s):         _______________________________________


  Postal address:         _______________________________________

    City:                 _______________________________________

    State/Province:       _______________________________________

    Postcode:             _______________________________________

    Country:               _______________________________________


 Email address:          _______________________________________

    URL (Personal Homepage):_______________________________________

    Telephone:              ________________  FAX: ________________


FMDS'98 Registration Form

REGISTRATION DETAILS FOR __________________________________________

PAYMENT DETAILS:
    You may pay for your FMDS'98 registration by either  cheque  or
    credit  card.  All  payments  must  be  in  Australian dollars.
 
    TOTAL Conference Fee (from the following page)    AUD$ _________
 
    ____  Cheque:   Please make cheques payable to  FMDS'98.
    ____  Credit card:  Bankcard ____ Mastercard ____ Visa Card ____
 
               Card number:             ____________________________
 
               Expiry date:             ____________________________
 
               Full name of card-holder:____________________________
 
               Signature:               ____________________________


FMDS'98 Registration Form

REGISTRATION DETAILS FOR __________________________________________

    The remaining  information will be used to ensure your visit  to
    Brisbane  is  as  comfortable  and  hassle  free  as   possible.

    Are you a presenter at FMDS:            YES / NO   (please circle one)
    
    Are you also planning to attend ICFEM'98: 
    (all or single day)                      YES / NO  (please circle one) 

    Are you also planning to attend an 
    ICFEM'98 tutorial:                       YES / NO  (please circle one)

    Last day we can contact you by 
    email before your departure for FMDS'98: _____________________

    Arrival Details:        Date:__________________________________

                            Type:   PLANE  /  TRAIN  /  BUS  /  CAR
                            
                            Transportation Number:_________________

    Departure Details:      Date:__________________________________

                            Type:   PLANE  /  TRAIN  /  BUS  /  CAR
                            
                            Transportation Number:_________________


    I  wish to receive my copy of the pre-proceedings:     YES   /   NO
    (A more formal publication of selected papers from FMDS'98 is planned
     for the near future)

Special dietary requirements:  NONE / VEGAN / VEGETARIAN / OTHER
                                         (please circle one)

                            _______________________________________

    Other requirements:     _______________________________________


FMDS'98 Registration Form


REGISTRATION DETAILS FOR __________________________________________

All figures are in Australian dollars (AUD$).

CONFERENCE REGISTRATIONS:
  Registration fee for members of the
  IEEE Computer Society, IEEE, ACS, AIIA, and IE(Aus):    $ 240______

  Registration fee for non-members:                       $ 320______

  Registration fee for full-time students:                $ 160______

ADDITIONAL ITEMS:
  Additional copy of pre-proceedings           #___   $ 15 each______
  (subject to availability)

TOTAL CONFERENCE FEE:
  Registration + Additional items                         AUD$ ________
  Please transfer this total amount to the previous page.

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