![[Photograph]](hotel.gif)
The First Northern Formal Methods Workshop was held in Ilkley in September 1996 at the Craiglands Hotel. The meeting was a very succesful and enjoyable event, attracting over fifty attendees. An electronic proceedings is to be published by Springer in 1997.
Given the first event's success, a second workshop is being held at the same venue in July 1997. The first call for participation is included below.
Andy Evans
David Duke
(Co-organisers)
![[Photograph]](moor.gif)
This workshop follows on from the highly successfully event held for the first time in 1996 in Ilkley, West Yorkshire.
The workshop is intended to be an open forum for the exchange of ideas and results between researchers involved in the theory and application of formal methods. For example, papers in the 1996 workshop covered areas such as specification methods, concurrency, real-time, methods integration, process algebras, experience reports from industrial trials, hardware, and the teaching of formal methods.
The programme will consist of invited talks by three leading figures in the use and application of formal methods, contributed papers, and discussion groups.
The proceedings of the 1996 workshop are being published by Springer and the same arrangements are expected for the second workshop. The workshop will also be supported by BCS/FACS.
Prof. Robin Milner, Cambridge University
Dr. Peter Gorm Larsen, IFAD
Prof. David Duce, Rutherford Appleton Laboratory
Full papers should be up to 20 pages of typeset A4, and should include the authors' names, affiliation(s) and the contact address (including *email*) for the principal author. Abstracts should be around 130-140 words in length. We also invite suggestions for topics for discussion within groups. These can be submitted informally via email but should include initial ideas for the organisation of the session.
In order to speed up the reviewing process, authors are requested to submit papers by *email only*, preferably postcript (plain, or compressed using gzip or UNIX `compress'), to a.s.evans@comp.brad.ac.uk.
In case of difficulties please contact either of the organisers:
| A.S. Evans | D.J. Duke |
| Department of Computing | Department of Computer Science |
| University of Bradford | University of York |
| West Yorkshire | Heslington, York |
| BD7 1DP | YO1 5DD |
| U.K. | U.K. |
| FAX: +44 1274 383920 | TEL +44 1904 432772 |
| TEL: +44 1274 383947 | FAX +44 1904 432 767 |
| a.s.evans@comp.brad.ac.uk | duke@minster.york.ac.uk |
The workshop will again be held at the Craiglands, a delightful Victorian hotel situated on the edge of Ilkley moor. The registration fee is expected to be approximately 120 pounds, excluding accommodation at the Craiglands.
Ilkley is easily accessible by both public and private transport. By road, Ilkley can be reached via the A65, or by rail (approx 20 mins), via Leeds and Bradford, which are accessible by a number of high speed cross country routes. By air, Leeds/Bradford Airport is very close by, from which many international connections can be made.