From: Jonathan Billington <Jonathan.Billington@unisa.edu.au>
To: petrinet@informatik.uni-hamburg.de
Date: Mon, 18 Mar 2002 13:16:53 +0100
Subject: (PN) Participation in the Petri Nets 2002 Conference, Adelaide, Australia, 24-28 June 2002
Dear Petri net people,
It is my pleasure to invite all of you to join us in Adelaide for the 23rd
International Conference on the Application and Theory of Petri Nets. The first
two days of the conference are devoted to 3 parallel activities comprising a
workshop, an advanced tutorial, and an introductory tutorial, that spans both
the Monday and Tuesday. The Introductory Tutorial provides an excellent
opportunity to experience an intensive two day course on Petri Nets,
Stochastic Nets and High Level Nets, presented by the world's experts in these
areas.
On Monday, 24 June, there will be a Tutorial on Workflow Management by Wil van
der Aalst, and a workshop on Software Engineering and Formal Methods,
organised by Charles Lakos and Rob Esser. The papers for the workshop are
currently being decided by the programme committee.
On Tuesday 25 June, Javier Esparza will present a Tutorial on Modelling
Checking. There will also be a Workshop on Formal Methods Applied to Defence
Systems organised by Lars Kristensen and myself. Papers are due on 1 April
2002.
The conference proper will follow for the next 3 days, comprising a set of 6
invited talks, and 19 submitted papers. A Petri Net tool exhibition is also
planned, with submissions due on 1 April.
The details of the Scientific Programme for the 5 days of the conference are
given on the official Website for the Conference at
http://www.unisa.edu.au/eie/csec/pn2002/
This website also provides information regarding Registration, The Conference
Site, Travel, Accommodation, Tourism, the Social Programme and more. Further
information on Workshop Programmes and the Tools Exhibition will be posted on
the site as it comes to hand.
To register for the conference, we recommend that you down load the pdf version
of the registration form, fill it out and fax it back to us. You can pay the
registration fees by credit card (Master Card or Visa) or by cheque in
Australian dollars. If you cant access the web for any reason, then send an
email to pn2002@unisa.edu.au to request a copy of the registration form.
Note: Early Bird Registration is due by 1 May 2002
We look forward to seeing you all in Adelaide for the last week of June 2002!
Jonathan Billington
Chair, Organising Committee
23rd International Conference on Application and Theory of Petri Nets
University of South Australia
Adelaide, Australia
----
[[ Homepage and archive: http://www.daimi.au.dk/PetriNets/pnml/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnml/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]