IRW/FMP'98&TPHOLs'98:Travel Bursaries and Other Announcements

• Subject: IRW/FMP'98&TPHOLs'98:Travel Bursaries and Other Announcements
• From: "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Date: Tue, 27 Jan 1998 23:34:30 +1100
• Reply-To: "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Sender: jgrundy@cs.anu.edu.au

TRAVEL BURSARIES

Travel bursaries are now available for students who wish to attend
IRW/FMP'98 or TPHOLs'98, and who would otherwise not have sufficient
funds to do so.  Bursaries will ordinarily be awarded for amounts of
up to A$1000.

Sponsorship for the bursaries has generously be provided by the Intel
corporation, The Australian National University Department of Computer
Science, and the Australian Research Council.  As a result we have in
excess of A$12,000 available for student travel bursaries.

The decision to award a bursary and the amount awarded will be made by
the organising committees based on applicants' need for assistance and
their potential contribution to the event.  Complete details of the
application procedure will soon be available via the following web sites:

    http://cs.anu.edu.au/irw/             http://cs.anu.edu.au/TPHOLs98/
	
IRW/FMP'98 INVITED SPEAKERS

The Organising Committee for IRW/FMP'98 regret to announce that
Jean-Raymond Abrial is unable to be an invited speaker at the workshop
as originally advertised.  However, it gives it great pleasure to
announce that Jim Woodcock of the Oxford University Computing
Laboratory has joined Joakim von Wright and Ian Hayes as an invited
speaker for the workshop.

IRW/FMP'98 DATES REMINDER

       Deadline for completed work submissions:           3 April 1998
       Completed work notification of acceptance:          22 May 1998
       Camera-ready copy for completed work papers due:   19 June 1998
 
       Deadline for progress paper submissions:           31 July 1998
       Progress paper notification of acceptance:       14 August 1998
 
       Workshop:                         29 September - 2 October 1998

TPHOLs'98 DATES REMINDER

         Deadline for research paper submissions:     20 March 1998
         Research paper acceptance notification:         8 May 1998
         Camera-ready for research papers due:          5 June 1998
 
         Deadline for progress paper submissions:      12 June 1998
         Progress paper acceptance notification:       24 July 1998
         Camera-ready for progress papers due:       21 August 1998
 
         Conference:                  28 September - 1 October 1998


Jim Grundy, Martin Schwenke and	      Jim Grundy and Malcolm Newey
Trevor Vickers

The IRW/FMP'98 Organising Committee   The TPHOLs'98 Organising Committee

• Prev: (fwd:) Federated Logic Conference (FLoC'99)
• Next: Call For Papers -- IEEE Real-Time Systems Symposium 1998
• Index: AMAST Mail 1998