From: Artur Niewiadomski <artur@iis.ap.siedlce.pl>
To: concurrency@cwi.nl, categories@mta.ca,
moca-announce@list.it.uu.se, eacsl@dimi.uniud.it,
fmics@inrialpes.fr, pvs@csl.sri.com, ipa@win.tue.nl,
petrinet@informatik.uni-hamburg.de,
logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI,
nvti-list@cwi.nl, prog-lang@diku.dk, theory-logic@CS.CMU.EDU,
theorynt@listserv.nodak.edu, seworld@cs.colorado.edu,
acl2@cs.utexas.edu, action-semantics@brics.dk, AG-list@uni-mb.si,
agents@cs.umbc.edu, asci@twi.tudelft.nl, caml-list@inria.fr,
clp@comp.nus.edu.sg, coq-club@pauillac.inria.fr,
DMANET@zpr.uni-koeln.de, formal-methods@cs.uidaho.edu,
grin@di.unipi.it, ifmsig@cs.tcd.ie, isabelle-users@cl.cam.ac.uk,
jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk,
lpnmr@cs.engr.uky.edu, nwpt-info@sool.ioc.ee,
om-announce@lars.math.fsu.edu, papm@informatics.ed.ac.uk,
prog-lang@daimi.au.dk, puml-list@cs.york.ac.uk,
stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu,
zero-defaut@cert.fr, zeves@ora.on.ca, forum@prg.ox.ac.uk,
csl@dbai.tuwien.ac.at, eapls@jiscmail.ac.uk,
cipher-cfp@ieee-security.org, ecoop-info@ecoop.org,
coalgebras@iti.cs.tu-bs.de, ccp@sics.se, lprolog@cs.umn.edu,
list@prooftheory.org, appsem@tcs.informatik.uni-muenchen.de,
rewriting@ens-lyon.fr, sensoria@lists.tcs.ifi.lmu.de
Subject: ATPN 2007 - Call for Papers
Date: Thu, 23 Nov 2006 07:40:37 +0100 [thread overview]
Message-ID: <20061123074037.cfd88cf1.artur@iis.ap.siedlce.pl> (raw)
[-- Attachment #1: Type: text/plain, Size: 5895 bytes --]
**********************************************************************
* Call for Papers and Announcement *
* Petri Nets 2007 *
* 28th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY *
* OF PETRI NETS AND OTHER MODELS OF CONCURRENCY *
* Siedlce, Poland, June 25-29, 2007 *
**********************************************************************
Additional information about the conference will be published via
http://atpn2007.ap.siedlce.pl
Contact e-mail: atpn2007@ap.siedlce.pl
Important Dates:
Submission of Papers: January 5, 2007
Notification: March 1, 2007
Final Version Due: April 1, 2007
Tutorials & Workshops: June 25-26, 2007
Conference: June 27-29, 2007
The 28th annual international Petri Net conference and tutorials will
be organised by the Institute of Computer Science at the University
of Podlasie and Institute of Computer Science of the Polish Academy
of Sciences.
Papers presenting original contributions in any area of application
and theory of Petri nets are sought. The language of the conference is
English.
Topics:
- System design and verification using nets,
- Analysis and synthesis, structure and behaviour of nets,
- Relationships between net theory and other approaches,
- Causality/partial order theory of concurrency,
- Net-based semantical, logical and algebraic calculi,
- Symbolic net representation (graphical or textual),
- Computer tools for nets,
- Experience with using nets, case studies,
- Educational issues related to nets,
- Higher-level net models,
- Timed and stochastic nets,
- Standardisation of nets,
- Applications of nets to different kinds of systems and application
fields, e.g.: flexible manufacturing systems, real-time systems,
embedded systems, defence systems, biological systems, health and
medical systems, environmental systems, hardware structures,
telecommunications, railway networks, office automation, workflows,
supervisory control, protocols and networks, Internet, e-commerce
and trading, programming languages, performance evaluation,
operations research.
The conference takes place under the auspices of EATCS and GI SIG "Petri Nets and Related System
Models". The proceedings will be pub- lished by Springer-Verlag in Lecture Notes in Computer
Science.
Paper Submissions
Three kinds of papers can be submitted: theory papers (max 20 pages), application papers (max 20
pages) and tool papers (max 10 pages).
Submissions for papers must:
- Contain original contributions that have not been published
or submitted to other conferences/journals in parallel
with this conference.
- Be sent electronically (as a PostScript or PDF file) using
the website http://sttt.cs.uni-dortmund.de/atpn07/servlet/Conference
no later than January 5, 2007.
- Clearly state the problem being addressed, the goal of the work,
the results achieved, and the relation to other work.
- Be in the Springer LNCS-format:
http://www.springer.de/comp/lncs/authors.html.
***********************************************************************
Program Committee
J. Billington, Australia
D. Buchs, Switzerland
J.M. Colom, Spain
R. Devillers, Belgium
S. Donatelli, Italy
J.C.A. de Figueiredo, Brazil
G. Franceschinis, Italy
L. Gomes, Portugal
B. Haverkort, The Netherlands
X. He, USA
K. van Hee, The Netherlands
M. Heiner, Germany
K. Hiraishi, Japan
C. Jard, France
G. Juhas, Slovak Republic
P. Kemper, USA
V. Khomenko, UK
J. Kleijn, The Netherlands (co-chair)
L.M. Kristensen, Denmark
J. Lilius, Finland
C. Lin, China
R. Lorenz, Germany
P. Moreaux, France
W. Penczek, Poland
L. Petrucci, France
M. Pinna, Italy
L. Pomello, Italy
L. Recalde, Spain
T. Ushio, Japan
R. Valk, Germany
F. Vernadat, France
K. Wolf, Germany
A. Yakovlev, UK (co-chair)
Organising Committee Chair
Wojciech Penczek
Steering Committee
W. van der Aalst, The Netherlands
J. Billington, Australia
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Jensen, Denmark (chair)
H.C.M. Kleijn, The Netherlands
M. Koutny, UK S. Kumagai, Japan
T. Murata, USA
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Yakovlev, UK
***********************************************************************
History of the Conference
The aim of the conference is to create a forum for discussing progress
in the application and theory of Petri nets. Typically, the conferences
have 150-200 participants - one third of these coming from industry,
the rest from universities and research institutions. The conference
takes place in the last week of June. The proceedings are published by
Springer-Verlag as Lecture Notes in Computer Science
(http://www.springer.de/comp/lncs/).
1. 1980 Strasbourg, France
2. 1981 Bad Honnef, Germany
3. 1982 Varenna, Italy
4. 1983 Toulouse, France
5. 1984 Aarhus, Denmark
6. 1985 Espoo, Finland
7. 1986 Oxford, UK
8. 1987 Zaragoza, Spain
9. 1988 Venice, Italy
10. 1989 Bonn, Germany
11. 1990 Paris, France
12. 1991 Aarhus, Denmark
13. 1992 Sheffield, UK
14. 1993 Chicago, USA 15. 1994 Zaragoza, Spain
16. 1995 Torino, Italy
17. 1996 Osaka, Japan
18. 1997 Toulouse, France
19. 1998 Lisbon, Portugal
20. 1999 Williamsburg, USA
21. 2000 Aarhus, Denmark
22. 2001 Newcastle upon Tyne, UK
23. 2002 Adelaide, Australia
24. 2003 Eindhoven, The Netherlands
25. 2004 Bologna, Italy
26. 2005 Miami, USA
27. 2006 Turku, Finland
***********************************************************************
[-- Attachment #2: CFP-ATPN07-short.pdf --]
[-- Type: application/pdf, Size: 134944 bytes --]
reply other threads:[~2006-11-23 6:41 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20061123074037.cfd88cf1.artur@iis.ap.siedlce.pl \
--to=artur@iis.ap.siedlce.pl \
--cc=AG-list@uni-mb.si \
--cc=DMANET@zpr.uni-koeln.de \
--cc=acl2@cs.utexas.edu \
--cc=action-semantics@brics.dk \
--cc=agents@cs.umbc.edu \
--cc=appsem@tcs.informatik.uni-muenchen.de \
--cc=asci@twi.tudelft.nl \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=ccp@sics.se \
--cc=cipher-cfp@ieee-security.org \
--cc=clp@comp.nus.edu.sg \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=concurrency@cwi.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=csl@dbai.tuwien.ac.at \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=fmics@inrialpes.fr \
--cc=formal-methods@cs.uidaho.edu \
--cc=forum@prg.ox.ac.uk \
--cc=grin@di.unipi.it \
--cc=ifmsig@cs.tcd.ie \
--cc=ipa@win.tue.nl \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=jml@cs.iastate.edu \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@Helsinki.FI \
--cc=lpnmr@cs.engr.uky.edu \
--cc=lprolog@cs.umn.edu \
--cc=moca-announce@list.it.uu.se \
--cc=nvti-list@cwi.nl \
--cc=nwpt-info@sool.ioc.ee \
--cc=om-announce@lars.math.fsu.edu \
--cc=papm@informatics.ed.ac.uk \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@daimi.au.dk \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=rewriting@ens-lyon.fr \
--cc=sensoria@lists.tcs.ifi.lmu.de \
--cc=seworld@cs.colorado.edu \
--cc=stochver@cs.bham.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@CS.CMU.EDU \
--cc=theorynt@listserv.nodak.edu \
--cc=zero-defaut@cert.fr \
--cc=zeves@ora.on.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).