cr%CS.STIR.AC.UK@CUNYVM.CUNY.EDU (Chic Rattray) (06/18/88)
[ Found this on comp.theory. Four those of you who have foreign
travel money, Scotland might be a nice place to get out of the heat.
-Steve
]
------------------------------------------------------------------------
WORKSHOP ON
SPECIFICATION AND VERIFICATION
OF CONCURRENT SYSTEMS
6 - 8 July 1988
University of Stirling
Scotland
in conjunction with BCS-FACS
Specification and verification techniques are playing an increasingly
important role in the design and production of practical concurrent
systems. The wider application of these techniques serves to identify
difficult problems that require new approaches to their solution and
further developments in specification and verification. The Workshop
aims to capture this interplay by providing a forum for the exchange
of the experiences of academic and industrial experts in the field.
Presentations include: original research, practical experience with
methods, tools, and environments in the following or related
areas:
- object-oriented, process, data and logic based models and
specification methods for concurrent systems
- verification of concurrent systems
- tools and environments for the analysis of concurrent systems
- applications of specification languages to practical concurrent
system design and development.
Invited Speakers
Dr Pierre America Philips Research Laboratories, Eindhoven
Professor M Joseph Department of Computer Science,
University of Warwick
David Freestone British Telecom
Organising Committee
Charles Rattray Dr Muffy Thomas
Dr Simon Jones Dr John Cooke
Professor Ken Turner Derek Coleman
Maurice Naftalin Dr Peter Scharbach
Programme
Tuesday 5 July
14.00-19.00 Registration for Workshop Attendees
Wednesday 6 July
9.00 Pierre America "The Interplay of Theory and Practice
Philips Research Labs in a Parallel Object-oriented Language"
(Netherlands)
10.00 MORNING COFFEE
10.30 SA Schuman, "Object-oriented Process Specification"
D Pitt, PJ Byers
University of Surrey
(UK)
11.00 EL Cusack "Formal Object-oriented Specification
British Telecom of Distributed Systems"
(UK)
11.30 RG Clark "The Design and Development of Ada
University of Stirling Real-time Embedded Systems"
(UK)
12.00 LUNCH
13.00 KR Parker "Protocol Specification Implementation
RA Berger Using NPNs and SDL"
Kong Cheng
CSIRO (Australia)
13.30 V Carchiolo "A Tool for the Performance Analysis
A Faro, M Malgeri of Concurrent Systems"
Universita di Catania
(Italy)
14.00 A Giacalone,SA Smolka "Hierarchical Design and Simulation
SUNY at Stony Brook of Concurrent Systems"
J Malhotra, R Shapiro
Meta Software Corp.
(USA)
14.30 D Roantree "A Specification - Verification
M Clint Framework for Distributed Applications
Queen's University Software"
Belfast (UK)
15.00 AFTERNOON TEA
15.30 CM Holt "Dynamic Communication Links"
University of Newcastle
(UK)
16.00 VS Alagar "Formal Environment and Tools Description
G Ramanathan for the Analysis of Real-time Concurrent
Concordia University Systems"
(Canada)
16.30 P Abdulla "An Equivalence Decision Problem for
Uppsala University Systollic Array Verification"
S Arnborg
Royal Institute of
Technology
(Sweden)
17.00 RL Ibrahim "Should Concurrency be Specified?"
JA Ogden
SA Williams
University of Reading
(UK)
18.00 DINNER
Thursday 7 July
9.00 Professor M Joseph Title to be announced
University of Warwick
(UK)
10.00 MORNING COFFEE
10.30 Wang Yi "An Operational Approach to the
Chalmers University Verification of Communicating Systems"
(Sweden)
11.00 S Holmstrom "Reasoning about the Alternating Bit
Chalmers University Protocol using Hennesy-Milner Logic
(Sweden) with Recursion and Intensional Operators"
11.30 P Dybjer "A Functional Programming Approach to
Chalmers University Concurrency"
(Sweden)
12.00 LUNCH
13.00 J Parker "Synchronisation in Network Protocols"
Boston College
(USA)
13.30 DP Gribomont "From Synchronous to Asynchronous
Philips Research Labs Communications"
(Belgium)
14.00 JJ Joyce "Formal Specification and Verification
Univ. of Cambridge of Asynchronous Processes in Higher
(UK) Logic"
14.30 F Carrez, D Mery "Temporal Specifications Directed by
CRIN Grammar and Design of Process Networks"
(France)
15.00 AFTERNOON TEA
15.30 U Thalmann "Analysis of Estelle Specifications"
IAIS, Wien
(Austria)
16.00 RA Nicholl "Concurrent Programming in Modula-2:
Univ of W. Ontario Properties of the Language Primitives"
(Canada)
16.30 D Gilbert "Specification and Implementation of
Imperial College Concurrent Systems in PARLOG"
(UK)
19.00 WORKSHOP DINNER
Friday 8 July
9.00 David Freestone "Specification and Verification in
British Telecom Communications Standards"
(UK)
10.00 MORNING COFFEE
10.30 PA Tilanus "Experience with LOTOS and the
Yan Yang Environment LOTTE on the ISDN Protocol"
PTT-Dr Neher Labs
(Netherlands)
11.00 S Matthews "The Specification and Design of a
Hatfield Polytechnic Nondeterministic Data Structure
(UK) using CCS"
11.30 J Billington "A High-Level Petri Net Specification
Univ. of Cambridge of the Cambridge Fast Ring M-Access
(UK) Service"
12.00 LUNCH
GENERAL INFORMATION
Location
The Workshop sessions will be held in the MacRobert Arts Centre, Main
Theatre, which is situated in the Central Area of the campus. The Central
Area contains a number of shops, a restaurant, bar, and the Library. It
is a short walk from here, across a footbridge spanning the loch, to the
Halls of Residence. A half-hourly bus service to and from Stirling town
is available at the MacRobert terminus.
Stirling University is set in a campus of some beauty and historic interest
in its own right. It is close by the scenes of the battles of Bannockburn
and Stirling Bridge, of Sheriffmuir and Falkirk. Stirling Castle, Doune
Castle, Castle Campbell at Dollar, and the Wallace Monument are interesting
historic monuments all within easy reach.
The weather in early July is usually fine but can be variable. It is as
well to expect some rain.
Travel
by rail
There are regular through-trains including sleeper trains to London and
direct connections to other main centres. Good local service links exist
between Stirling and Edinburgh, and Stirling and Glasgow. The University
- Stirling town bus service passes close to the railway station (bus no. 58)
and there is a taxi rank at the station (about 2.20 pounds sterling to
the University).
by air
The nearest airports are at Edinburgh and Glasgow, both about 30 miles
away from Stirling. In both cases, fairly frequent airport bus services
will take you to the appropriate city centre and then travel by train
will bring you to Stirling. A taxi from Edinburgh Airport to the University,
for instance, costs about 30 pounds sterling.
Car Parking
There are a number of car parking spaces available both at the Halls
of Residence and in the MacRobert Centre/Cottrell Building area. These
are available on a first come, first serve basis; cars are parked at
the owners' risk.
Workshop Proceedings
All participants will receive a copy of the proceedings. Selected papers
will be refereed and published in journals associated with BCS-FACS, with
the authors' agreement, of course.
Refreshments/Meals
Coffee and tea will be served at times indicated on the programme at
the Main Theatre foyer; breakfasts, lunches, and dinners will be taken
in the MacRobert restaurant. The opening times for the restaurant are:
Breakfast: 7.45am - 8.50am
Lunch: 12 noon - 1.45pm
Evening Meal 5.30pm - 6.30pm
Workshop Dinner
The Workshop dinner will take place on the evening of Thursday 7 July.
The cost of the ticket is included in the registration/accommodation
fee. Tickets for guests may be purchased at a cost of 20 pounds sterling.
Accommodation
All Workshop participants will be accommodated in Andrew Stewart Hall,
a student hall of residence on campus.
The charge per person includes room, all meals, coffee/tea, and the
Workshop dinner (commencing with dinner on Tuesday and ending with
lunch on Friday).
Individual rates for visitors to the campus are:
Full Board : 26.50 pounds per day
B and B : 14.50 pounds per day
Registration
On arrival you should go to the MacRobert Arts Centre to register
and to receive your Workshop pack; this will include your meal tickets,
badge, copy of the proceedings, etc. Those arriving outwith the registration
period (14.00 - 19.00 on Tuesday) should got straight to Andrew Stewart Hall
to check into their accommodation. You should register as soon as possible
at the registration desk in the MacRobert Arts Centre.
The Workshop registration fees are listed below. Payment for registration
and accommodation is required in advance of the Workshop and should be paid
by crossed cheque or money order, made payable to "The University of Stirling".
In the event of cancellation, and provided written notice is received by
1st July 1988, a refund of 75% of the registration fee will be made. No
refunds can be made with respect of meal and accommodation charges if
cancellation is received.
Total Workshop Fee
Resident Non-Resident
Member of BCS_FACS 125 80
Speaker
Others 155 110
------------------------------------------------------------------------------
BCS_FACS Workshop
Specification and Verification of Concurrent Systems
University of Stirling, 6 - 8 July 1988
Please complete this form in block letters and return it,
together with remittance, to the address indicated below
REGISTRATION FORM
Surname (Family name) .........................................
First Name(s) .........................................
Title .........................................
(Professor, Dr, Mr, Mrs, Miss, etc)
Member of BCS-FACS ...... (Please tick as appropriate)
Speaker ......
Name of Organisation ........................................
(For name badge)
Address for Communication
................................................................
................................................................
.......................................(Post Code)..............
Business Telephone:.....................Telex:..................
Fax:....................
Total Workshop Fee ....................
VAT (15%) ....................
....................
All enquiries concerning the Workshop should be addressed to:
Charles Rattray
Department of Computing Science
University of Stirling
STIRLING
Scotland
FK9 4LA
Telephone: 0786 - 73171
+44 - 786 - 73171
Telex: 777557STUNIV G
Fax: 0786 - 63000
+44 - 786 - 63000
E_mail: cr@uk.ac.stir.cs
dp