The fifth Irish Workshop in formal methods (IWFM'01) takes place at Trinity College Dublin, Ireland in July 2001. Dublin is easily reached by air (Dublin International Airport) with regular flights to the UK, Europe and the US.
The following invited speakers will give presentations at the workshop. Dr. Oege deMoor, Oxford, England Prof. Joseph Morris, Dublin City University
The proceedings (selected papers) will be published following the conference. 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.
| 9:00 - 10:00 | Registration |
| 10:00 - 11:00 | Invited Speaker: Oege De Moor Programming Transformations (abstract) |
| 11:00 - 11:30 | Coffee |
| 11:30 - 12:00 | Doug Goldson Multiprogram Design in the theory of Owicki and Gries |
| 12:00 - 12:30 | Claus Pahl Observation and Abstract Behaviour in Specification and Implementation of State-based Systems |
| 12:30 - 1:00 | Steve Dunne Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness |
| 1:00 - 2:30 | Lunch |
| 2:30 - 3:00 | B. Aziz, G. W. Hamilton A Denotational Semantics for the Pi-Calculus |
| 3:00 - 3:30 | Pascal Hitzler, Anthony Karel Seda Irish VDM Meets LCF |
| 3:30 - 4:00 | Coffee |
| 4:00 - 4:30 | Marcelin Au. Fortes da Cruz Building Systems as Transformers |
| 4:30 - 5:00 | Richard Hayes An Investigation of the Use of Unique Arrays and Lists in Clean |
| 8:00 - 11:00 | Dinner |
| 10:00 - 11:00 | Invited Speaker: Joe Morris An easy route from functional to imperative programming |
| 11:00 - 11:30 | Coffee |
| 11:30 - 12:00 | N. Reid, P Kilpatrick, M. Clint Towards a Semantics For Multidimensional Array Assignment in Fortran 95 |
| 12:00 - 12:30 | Bing Wu, D.R.W. Holton, Luming Lai An Integrated Refinement Calculus For Z |
| 12:30 - 1:00 | Jim Woodcock, Ana Cavalcanti A concurrent language for refinement |
| 1:00 - 2:30 | Lunch |
| 2:30 - 4:00 | Andrew Butterfield, Micheal Mac An Airchinnigh Tutorial: Topos Logic for Formal Methods |
| 4:00 - 4:30 | Coffee |
| 4:30 - 5:00 | Plenary session |
Dublin (Baile Atha Cliath) is the capital and largest city in the Republic of Ireland. It dates from Viking times (circa 988 A.D.) and has grown to become an important cosmopolitan city with over one million inhabitants. The city is rich in architecture, culture and history. The notable architecture includes Stephens Green and Merrion Square, which are two fine Georgian squares in central Dublin. The Bank of Ireland in College Green (formerly the house of parliament until 1800) is quite impressive, as is Trinity College Dublin (dating from 1592 and housing the world famous `Book of Kells'). Christ Church Cathedral & St. Patricks Cathedral are well worth visiting. Dublin is famous for its writers and poets. The poet and playwright, William Butler Yeats was born in Sandymount, Dublin. James Joyce who immortalised Dublin in his famous `Ulysses' was a Dubliner, as was Samuel Beckett author of `Waiting for Godot'. Other famous Dublin writers include Oscar Wilde, Sean O'Casey, George Bernard Shaw, etc. The city has several theatres including the Abbey Theatre (which was founded by William Butler Yeats) and the Gate Theatre. Perhaps, this rich literary tradition is evident in the warmth, friendliness and wit of the native inhabitants. Dublin pubs are probably among the best you will find anywhere in the world. The new left bank in Dublin, i.e., the Temple Bar, has many pubs and restaurants that welcome visitors to the city. Perhaps, the most famous Dublin pub is O'Donoghues, Merrion Row. Several famous Irish traditional musicians started off in this pub, including `The Dubliners'. Dublin is home to the National Art Gallery, Merrion Square and the Hugh Lane Art Gallery in Parnell Square. The National Museum, Kildare St. has many famous treasures from Irish history and is well worth a visit. Dublin is the centre of political and commercial life in Ireland. This includes the houses of parliament (or Dail) and is located in Kildare St. Finally, the city is home to `Guinness', and no visit to Dublin is complete without sampling the local brew or visiting the St. James Gate Brewery.
Dublin is a popular tourist destination and accommodation can be very difficult to find in the summer. The following hotels are in easy walking distance of Trinity College in the centre of the city and can offer vacancies at the time of writing (prices as quoted by hotel for IWFM delegates):
The booking form is included at the end of this message
Please send the booking form and specific queries concerning bookings to:
Please note that payment for the workshop is to be made via a bank draft in Irish pounds (punts) or Euros.
| Andrew Butterfield | Claus Pahl |
| Programme Co-Chair, IWFM'01 | Programme Co-Chair IWFM'01 |
| Dept. Of Computer Science | School of Computer Applications |
| Trinity College | Dublin City University |
| Dublin 2, Ireland | Dublin 9, Ireland |
IWFM'01 Booking Form, 5th. Irish Workshop in Formal Methods, Trinity College
Dublin, 16-17th. July, 2001.
NAME:________________________________________ TITLE:_____________
ORGANIZATION:____________________________________________________
ADDRESS:_________________________________________________________
_________________________________________________________________
COUNTRY:_____________________ POSTCODE:__________________________
TELEPHONE:___________________ FAX:_______________________________
EMAIL:___________________________________________________________
ARRIVAL DATE:___________________ DEPARTURE DATE:_________________
SPECIAL DIETS:___________________________________________________
WORKSHOP FEE: Includes lunch on both Monday and Tuesday, dinner on Monday,
and pre-prints of the proceedings.
Cost (by July 6 2001)
Earner: 100 IEP (Irish pounds) ________ Student: 40 IEP (Irish pounds) ________
Cost (after July 6 2001)
Earner: 110 IEP (Irish pounds) ________ Student: 50 IEP (Irish pounds) ________
Extra dinners cost IEP 27
WORKSHOP FEE DUE: ________
- Please note that payment must be made via a bank draft in Irish pounds
(punts) or Euros made out to IFMSIG.
- The draft (in punts) or Euros must be forwarded with the registration form
to:
Glenn Strong (Local secretary, IWFM'01) Department of Computer Science,
Trinity College Dublin, Dublin 2, Ireland.
Tel: +353-1-608-3629 Fax: +353-1-677-2204 Email: Glenn.Strong@cs.tcd.ie
Modified: "20010531:1049 IST"