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.
=====================================================================