The second Irish Workshop in formal methods (IWFM'98) takes place at
National University of Ireland, Cork
in July '98.
Thursday a.m., 2nd. July 1998 Registration and Main meeting.
Friday a.m. 3rd. July 1998 Main meeting.
The following invited speakers will give presentations at the workshop.
Prof. Dines Bjorner (Technical University of Denmark)
Dr. Jan Rutten (Centrum voor Wiskunde en Informatica, Netherlands)
Pre-prints of the proceedings will be available as part of the registration
pack. To attend, please complete and return the booking form with the
appropriate fee. We look forward to seeing you at the meeting.
The workshop is being organised by the Irish Formal Methods Special
Interest Group (IFMSIG) . The first workshop was held in Dublin Ireland
in
July 1997, and the proceedings are available as part
of the electronic Workshops
in Computing series, published by Springer.
Programme Co-Chair: Andrew Butterfield (Trinity College, Dublin)
Programme Co-Chair: Sharon Flynn (National University of Ireland, Galway)
Organisation Co-Chair: Anthony Seda (NUI, Cork)
Organisation Co-Chair: Claus Pahl (NUI, Cork)
Programme Committee:
Andrew Butterfield
(TCD)
Andy S. Evans (Bradford)
Sharon Flynn (NUI,
Galway)
Rotan Hanrahan (Tallaght
IT)
Michael Hinchey (NJIT,UL)
Richard Lawlor (DIT)
Henry McLoughlin (NUI,
Dublin)
Peter Kilpatrick (QUB)
Gerard O'Regan (Motorola,
Cork)
Claus Pahl (NUI, Cork)
Norah Power (UL)
Anthony Seda (NUI,
Cork)
There is a frequent ferry service between the UK (Swansea) and Cork,
and
a weekly ferry between France (Brittany) and Cork.
Cork also has good rail connections to Dublin, Ireland's capital city.
Useful information about Cork, including travel can be found at
http://www.aardvark.ie/cork/
.
The voices of the citizens have a characteristic sing-song cadence which
is in harmony with the hilly up and down topography of the city. Corkonians
are among the most talkative of the Irish and take a special pride
in their
city. The city has a tradition of welcoming visitors due to its rich
maritime
history.
The city was founded by St. Finbarr in the seventh century, and its
history
includes Viking and Anglo Norman influences. Cork has a reputation
for
independence and stubborn resistance, and is known as "Rebel Cork".
The best way to see the city and to sample its way of life is by walking.
The
city centre is quite small and many of the sights are within walking
distance. Among these is St. Finbarr's Cathedral, which is an excellent
example
of Gothic architecture. The university and grounds are very beautiful
with one channel of the river Lee flowing through the grounds. The
Honan
chapel is modelled on Cormac's in Cashel and includes stained glass
windows
by Harry Clarke.
The city is dominated by Shandon Tower and its famous bells. The historical
Butter Market is adjacent to Shandon and St. Mary's Cathedral is nearby.
Also worth visiting is the city hall, the English Market, and the Crawford
Art Gallery. There are two Breweries in Cork namely Murphy's Brewery
and
Beamish and Crawfords. Visitors may wish to sample the local brew of
Murphy
stout and Beamish Stout.
There are many places to visit close to Cork including Blarney Castle
and
the Blarney Stone, the Queenstown Heritage Centre in Cobh (the last
port of
call of the Titanic), Fota Wildlife Park and arboreteum, the Middleton
Distillery and Heritage Centre, the international gourmet town of Kinsale,
etc. All in all, visitors will find a visit to Cork to be quite an
enjoyable
and memorable experience.
Booking for accommodation should be made directly with Castlewhite,
whose booking form is reproduced at the end of this announcement.
Please send the workshop booking form (below) and specific queries concerning bookings to:
Mary O'Regan,
Administrator,
School of Mathematics, Applied Mathematics and Statistics,
National University of Ireland, Cork
Tel: +353-21-902537 Fax: +353-21-903106
Email: "Mary O'Regan" <m.oregan@ucc.ie>
Please note that payment for the workshop is to be made via a bank
draft in Irish pounds (punts).
**** Payment cannot be taken by credit card.
9:00 - 9:30 Registration/Coffee.
9:30 - 9:35 Welcome & Open (President, UCC)
9:35 - 10:30 INVITED SPEAKER
Prof. Dines Bjorner (Technical University of Denmark).
(Introduced by: Micheal Mac an Airchinnigh)
10:30 - 11:00 Coffee
11:00 - 12:30 Session #1
11:00 - 11:30 Anthony Karel Seda and Pascal Hitzler
"Strictly Level-Decreasing Logic Programs"
11:30 - 12:00 Arthur Hughes
"Constructive Mathematics in Topoi"
12:00 - 12:30 Claus Pahl
"Facilitating Modular Property-Preserving Extensions
of Programming Languages"
12:30 - 14:00 Lunch
14:00 - 15:30 Session #2
14:00 - 14:30 Richard Shore
"A Use Case Interpretation of B AMN"
14:30 - 15:00 Brian Matthews and Elvira Locuratolo
"Translating Structured Database Schemas
into Abstract Machines"
15:00 - 15:30 Raphael Couturier
"Formal engineering of the bitonic sort using PVS"
15:30 - 16:00 Coffee
16:00 - 17:00 Session #3
16:00 - 16:30 T.J.Harmer, P.J.McParland and J.M.Boyle
"Applications of the TAMPR Transformation System"
16:30 - 17:00 Stephen Fitpatrick, M.Clint and P. Kilpatrick
"A Case Study on Proving Transformations Correct:
Data-Parallel Conversion"
17:00 Close
19:00 Coach for dinner
20:00 Dinner in Ballymaloe House, Co. Cork.
Friday, 3rd. July 1998.
-----------------------
9:30 - 10:30 INVITED SPEAKER
Dr. Jan Rutten (Centrum voor Wiskunde en Informatica, Netherlands)
(Introduced by Anthony Seda)
10:30 - 11:00 Coffee
11:00 - 12:30 Session #4
11:00 - 11:30 Hugh Gibbons
"Declarative View of Imperative Programs"
11:30 - 12:00 Luming Lai
"An Unbounded Nondeterministic Model for CSP-like Languages"
12:00 - 12:30 Mark A. Changizi
"A New Semantics for Vagueness"
12:30 - 14:00 Lunch
14:00 - 15:00 Session #5
14:00 - 14:30 Paul Gibson and Dominique Mery
"Teaching Formal Methods: Lessons to learn"
14:30 - 15:00 Micheal Mac an Airchinnigh
"Mathematics for Formal Methods, a proposal for education reform"
15:00 - 16:00 --- to be decided
16:00 - 16:15 Prizes & Close.
IWFM'98 Booking Form, 2nd. Irish Workshop in Formal Methods,
University College Cork, 2-3rd. July, 1998.
NAME:________________________________________ TITLE:_____________
ORGANIZATION:____________________________________________________
ADDRESS:_________________________________________________________
_________________________________________________________________
COUNTRY:_____________________ POSTCODE:__________________________
TELEPHONE:___________________ FAX:_______________________________
EMAIL:___________________________________________________________
ARRIVAL DATE:___________________ DEPARTURE DATE:_________________
SPECIAL DIETS:___________________________________________________
WORKSHOP FEE:
Includes lunch on both Thursday and Friday, dinner on Thursday,
and pre-prints of the proceedings.
Cost (before 8/6/98)
Earner: 110.00 IEP (Irish pounds)
________
Student: 55.00 IEP (Irish pounds)
________
Cost (after 8/6/98)
Earner: 125.00 IEP (Irish pounds)
________
Student: 62.500 IEP (Irish pounds)
________
WORKSHOP FEE DUE: ________
- Please note that payment must be made via a bank draft in Irish pounds
(punts) made out to IWFM'98.
- The draft (in punts) must be forwarded with the registration form to:
Mary O'Regan,
Administrator,
School of Mathematics, Applied Mathematics and Statistics,
UCC.
Tel: +353-21-902537 Fax: +353-21-903106
Email: "Mary O'Regan" <m.oregan@ucc.ie>
-------------------------------------------------------------------------
ACCOMMODATION BOOKING FORM
UCC CASTLEWHITE APARTMENTS
IWFM'98
JULY 1st -- 4th, 1998
Name:................................................................
Address:............................................................
....................................................................
....................................................................
....................................................................
Telephone Number:...........................................
Arrival time on 1st July:.........................(after
3.00 pm)
Departure time on 4th July:....................(before 10.00 am)
Rates
B & B per person per night (continental breakfast) = IR\pounds 20.00.
B & B per person per night (full Irish breakfast) = IR\pounds 23.00.
PLEASE COMPLETE THIS FORM CLEARLY, ENCLOSE APPROPRIATE
PAYMENT AND RETURN NO LATER THAN 27th JUNE TO:
UCC CASTLEWHITE APARTMENTS
WESTERN ROAD,
CORK.
IRELAND.
Phone: +353 21 902867/341473,
Fax: +353 21 344099
E-mail: castlewhite@ucc.ie,