call for papers, previous message

From:     hug94@dcs.gla.ac.uk
Subject:  HUG94 (Malta) - Call For Participation.
Date:     Fri, 27 May 94 14:34:08 +0100

=========================================================================

                 REGISTRATION AND PROGRAMME INFORMATION

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

                                HOL 1994

                       INTERNATIONAL CONFERENCE ON 

           HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS
                      
                                 MALTA
                          19-22 SEPTEMBER 1994

                          University of Malta

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

                    SPONSORED BY BANK OF VALLETTA
                         MALTA'S LEADING BANK

==========================================================================

OBJECTIVES

This meeting is the seventh in a series of annual workshops on higher
order logic theorem proving and its applications, with a primary focus on
the HOL system and similar systems.  Previous workshops were held in
Cambridge, Aarhus, Davis, Leuven, and Vancouver.

Mechanized theorem provers for higher order logic have been applied to many
areas, including design and verification, security, real-time systems,
semantics, compiler verification, program correctness, concurrency, and
program refinement. The theorem proving technology itself is also an active
area of research. This conference will bring together researchers in these
and related areas of investigation for the dissemination and discussion of
new developments in the field.


THE CONFERENCE

The Conference, which will be held in Malta between the 19-22 September,
1994 will consist of morning and afternoon sessions during which invited
papers and refereed papers will be presented and discussed.  Formal
proceedings will be published by Springer Verlag in the Lecture Notes in
Computer Science Series.  Papers discussing work in progress will also be
presented, and will be circulated in an informal participants' proceedings.

The Organising Committee has invited the following guest speakers:

       o Prof. Dr. N. G. de Bruijn (Eindhoven)
       o Dr. Mike Gordon (Cambridge)
       o Dr. Keith Hanna (Kent)
       o Dr. Thomas Forster (Cambridge)


THE VENUE

The University of Malta is one of the oldest in Europe, owing its origin to
the Collegium Melitense founded by the Jesuits in 1592.  A new campus at
Msida was opened during the Independence celebrations in 1964, to provide
for the future growth and needs of higher education in Malta.  The
Conference will be held at the Foundation for International Studies which
is housed in the original premises of the Collegium Melitense.

Malta is well connected to all the major European and North African
airports.  London - Malta is a three hour flight and costs approximately US
$350.  Frankfurt or Paris to Malta are two hour flights in a similar price
range to the London flight. Rome-Malta is a one hour flight and should not
cost more than US $230.  Those coming to Malta from outside Europe can do
so via any major airport in Europe, although London often proves easier and
cheaper. The average temperature in Malta in September is 30 degrees
celcius.

THE ORGANISERS

Programme Chair: Thomas Melham (Glasgow)

Programme Committee: Flemming Andersen (TDR), Richard Boulton (Cambridge),
Shui-Kai Chin (Syracuse), Elsa Gunter (AT&T), John Herbert (SRI), Jeffrey
Joyce (UBC), Gilles Kahn(INRIA), Ramayya Kumar (FZI), Tim Leonard (DEC),
Karl Levitt (UC Davis), Paul Loewenstein (SUN), Tom Schubert (Portland
State), David Shepherd (INMOS), Joakim von Wright (SHH), Phil Windley
(BYU).

PAPERS

Category A papers:

   LCF Examples in HOL
   Sten Agerholm
   
   A Graphical Tool for Proving Progress
   Flemming Anderson, Kim Dam Petersen & Jimmi S. Pettersson
   
   Reasoning about Linear Systems of Equations in HOL
   Catia M. Angelo,Luc Claeson & Hugo De Man
   
   Towards a HOL Theory of Memory
   J-P. Bodeveix, M. Filali & P. Roche
   
   Providing Tractable Security Analyses in HOL
   Stephen H. Brackin
   
   First-Order Automation for HOL Proofs
   Holger Busch
   
   Symbolic Animation as a Proof Tool
   Juanito Camilleri & Vincent Zammit
   
   Datatypes in L2
   Nick Chapman, Simon Finn & Michael P. Fourman
   
   Mechanical Verification of Distributed Algorithms in Higher Order Logic &
   A Formal Theory of Undirected Graphs in Higher Order Logic
   Ching-Tsun Chou
   
   Tracking Design Changes with Formal Verification: 
   A Network Component Case Study
   Paul Curzon
   
   Interval-Semantic Component Models and the Efficient Verification of 
   Transaction Level Circuit Behaviour
   David A. Fura & Arun K. Somani
   
   An Interpretation of NODEN in HOL
   Brian Graham
   
   Binary Decision Diagrams as a HOL Derived Rule
   John Harrison
   
   Trustworthy Tools for Trustworthy programs: A Verified Verification
   Condition Generator
   Peter Homeier & David Martin
   
   S: A Machine Readable Specification of Notation based on Higher Order Logic
   J. Joyce, N. Day & M. Donat
   
   Generating Designs Using an  Algorithmic Register Transfer Language with
   Formal Semantics
   Juin-Yeu Lu & Shiu-Kai Chin
   
   A HOL Formalisation of the Temporal Logic of Actions
   Thomas Langbacka
   
   An Engineering Approach to Formal Digital System Design
   Mats Larsson
   
   A HOL Formalisation of the Temporal Logic of Actions
   Thomas Langbacka
   
   Studying the ML Module System in HOL
   Savi Maharaj & Elsa Gunter
   
   Towards a Mechanically Supported and compositional Calculus to Design
   Distributed Algorithms
   ISWB Prasetya
   
   Simplifying Deep Embedding: A Formalised Code Generator
   Ralf Reetz and Thomas Kropf
   
   Automating Verification by Functional Abstraction at the System Level
   Klaus Schneider, Ramayya Kumar & Thomas  Kropf
   
   A Parameterized Proof Manager
   Konrad Slind
   
   Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL
   Sofi\`{e}ne Tahar & Ramayya Kumar
   
   Architectural Specification in HOL
   Phillip J. Windley
   
   Representing Higher Order Logic Proofs in HOL
   J. von Wright

Category B papers:

   Formal Reasoning about Specification and Transformation of Reactive Systems
   J\"{u}rgen Bohn
   
   A Higher-order Theory of Lists for HOL
   Paul Curzon, Wai Wong
   
   Evaluation Techniques as a Part of the Verification Process
   Dirk Eisenbiegler and Ramayya Kumar
   
   A Interpreter Interface Language and Its Formal Embedding in 
   Higher-Order Logic
   David A. Fura and Arun K. Somani
   
   Not Implementing N-Bit Words by Using Abstract Theories
   Kelly M. Hall and Phillip J. Windley

   A Reference Version of HOL
   John Harrison and Konrad Slind
   
   Trustworthy Tools for Trustworthy Programs: Automatic Verification of
   Mutually Recursive Procedures
   Peter V. Homeier and David F. Martin
   
   Why Hardware Verification Needs more than Model Checking
   Klaus Schneider, Ramayya Kumar, Thomas Kropf
   
   A Tree-Based, Graphical Interface for Large Proof Development
   Tom Schubert and John Biggs
   
   Towards Efficient Conversions by use of Partial Evaluation
   Morten Welinder
   
   Using Make to Manage Large Proofs
   Phillip J. Windley
   
   Towards a Formal Verification of a Secure and Distributed System and
   Applications
   Zhang, Shaw, Heckman, Benson, Beard, Archer, Levitt, Olsson

=====================================================================

Administration Address

HOL'94 Room 202, First Floor,
New Computer Building,University of Malta, Tal-Qroqq,
Msida, Malta MSD06
Tel: + 356 346674            Fax: + 356 320539

e-mail: hug94@unimt.mt or hug94@dcs.gla.ac.uk

Conference Chair: Juanito Camilleri (Malta)


---------------------------------------------------------------------
REGISTRATION  INFORMATION

The conference fee is:  Lm 85   US $223   UK pounds 145
Student rate:           Lm 60   US $156   UK pounds 102


The fee covers:

        #   Registration for the Conference
        #   Conference proceedings
        #   Coffee/tea during morning and afternoon breaks
        #   Lunch
        #   Conference dinner

Applications for registration on the attached form, together with payment
of the registration fee, should be sent to the address given below to
arrive not later than 15th August, 1994.

All administrative correspondence should be addressed to the organisers at:

HOL'94 Room 202, First Floor, 
New Computer Building,
University of Malta, Tal-Qroqq, Msida, Malta MSD06
Tel: + 356 346674            Fax: + 356 320539
e-mail: hug94@unimt.mt or  hug94@dcs.gla.ac.uk

---------------------------------------------------------------------
ACCOMODATION*

We have reserved a limited number of rooms at the following hotels:

#       The Diplomat (4-star Hotel)
        Single Occupancy        US$41    	UK pounds 27 
        Twin Room Sharing       US$36    	UK pounds 23
        
#       Milano Due (3-Star Hotel)
        Single Occupancy        US$38    	UK pounds 25 
        Twin Room Sharing       US$30    	UK pounds 20
        
Those who would like to book accommodation through us are kindly requested
to return their accommodation forms to the respective hotels to arrive by
not later than 30th July, 1994. Please keep in mind that September falls
during Malta's peak tourist season and it will be extremely difficult to
find accommodation in August and September. Prospective participants are
kindly encouraged to apply as early as possible as bookings for
accommodation will be taken on a first- come first-served basis.  Late
requests for accommodation should go to the relevant hotel, but cannot be
guaranteed.


* All rates for accommodation are per person per night. Prices are inclusive 
  of 5% Govt levy.


-- cut here ----------------------------------------------------------------

REGISTRATION FORM

Title______________________  First Name________________________________ 
Surname________________________________________________________________
Job Title______________________________________________________________ 
Organisation___________________________________________________________
Address________________________________________________________________
_______________________________________________________________________

City______________________________________Postcode ____________________
Country_______________________________    Tel _________________________
Fax___________________________________    e-mail_______________________ 

Do you have any special dietary or medical requirements?
                ____ YES                ____ NO

If yes, please specify
_____________________________________________________________________
_____________________________________________________________________


____    Cheque enclosed made payable to University of Malta (HOL '94)

____    Bank Draft to: University of Malta (HOL '94),
        Account No:     852 873 329

____    Please charge my Mastercard / Visa / Diners / Cirrus with

        US$ _______________ / UK pounds ________________

        Card Number _________________________________________________

        Expiry Date: __ __ / __ __ /__ __

        Signature of Cardholder _____________________________________

I confirm that I have read and agree to the conditions of registration 
as specified in the information section.


Signed _____________________  Date ______________


Please complete the Registration Form IN INK and return it to the
administration address. Please note that your registration can only be
accepted if accompanied by payment for the amount due as Conference Fee.
Payments should be effected by not later than 15th August, 1994. The
organising committee regrets that it cannot refund any payment in case of
cancellation.

-- cut here ----------------------------------------------------------------

ACCOMMODATION BOOKING FORM (FOUR STAR HOTEL)

The Diplomat Hotel*
Tower Road, Sliema SLM16, Malta
Tel:+356 345361/6       Fax:+356 345351

Single Occupancy        US$41   	UK pounds 27     _____ 
Twin Room Sharing       US$36   	UK pounds 23     _____

Title_________   First Name_______________________________________ 
Surname___________________________________________________________
Job Title_________________________________________________________
Organisation______________________________________________________
Address___________________________________________________________
__________________________________________________________________
City_______________________________   Postcode____________________
Country____________________________
Tel________________________________   Fax_________________________    
e-mail_____________________________

No. of Accompanying Persons_______________________________________

If sharing with another participant, please state name of  person so 
as to avoid duplicate reservations
__________________________________________________________________


                Date            Flight Number & Time of Arrival

Arrival         __________      ______________________________

Departure       __________      ______________________________


_____   Please find enclosed cheque/bank draft for 
        US$______ / UK pounds______ made payable to The Diplomat Hotel

_____   Please charge my Mastercard / Visa / Diners / Cirrus with
        US$ _______________ / UK pounds ________________

Card Number ___________________________________

Expiry Date: __ __ / __ __ / __ __

Signature of Cardholder___________________________

Please complete this booking from IN INK and return to the hotel above. 
Please note that your booking can only be accepted if paid in full through 
one of the methods listed above. Payments should be effected to arrive by 
not later than 30th July, 1994.

* Accommodation includes breakfast and all rates are per person per night.  
  Prices are inclusive of 5% Govt levy.


-- cut here ----------------------------------------------------------------

ACCOMMODATION BOOKING FORM (THREE STAR HOTEL)

Hotel Milano Due
The Strand, Gzira       
Tel: +356 345040-4   or   343112-4              Fax: +356 345045

Single Occupancy        US$38  		UK pounds 25   ________
Twin Room Sharing       US$30  		UK pounds 20   ________

Title___________  First Name______________________________________ 
Surname___________________________________________________________
Job Title_________________________________________________________
Organisation______________________________________________________
Address___________________________________________________________
__________________________________________________________________
City_______________________________   Postcode____________________
Country____________________________
Tel________________________________   Fax_________________________    
e-mail_____________________________

No. of Accompanying Persons__________________________

If sharing with another participant, please state name of  person so 
as to avoid duplicate reservations

__________________________________________________________________


                Date            Flight Number & Time of Arrival
Arrival         __________      __________________________

Departure       __________      ________________________


_____   Please find enclosed cheque/bank draft for 
        US$______/UK pounds_____ made payable to Hotel Milano Due

_____   Please charge my Mastercard / Visa / Diners / Cirrus with
        US$ _______________ / UK pounds ________________

Card Number ___________________________________

Expiry Date: __ __ / __ __ /__ __

Signature of Cardholder___________________________

Please complete this booking from IN INK and return to the hotel above. 
Please note that your booking can only be accepted if paid in full 
through one of the methods listed above. Payments should be effected
to arrive by  not later than 30th July, 1994.

* Accommodation includes breakfast and all rates are per person per night.  
  Prices are inclusive of 5% Govt levy.


=====================================================================