[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] First CfP: PETRI NETS 2010,31st International Conference on Applicationand Theory of Petri Nets and other Models of Concurrency
*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
FIRST CALL FOR PAPERS
PETRI NETS 2010
31st International Conference on Application and Theory of Petri Nets
and other Models of Concurrency
June 21-25, 2010
Email : petrinets2010[@]di[.]uminho[.]pt
Collocated with ACSD 2010: 10th International Conference on
Application of Concurrency to System Design
Common page at http://acsd-petrinets2010.di.uminho.pt
The call for papers is available at
In 2010, the PETRI NETS and the ACSD conferences will feature five
keynote speakers of international reputation:
- David Harel (Distinguished Carl Adam Petri Lecture)
- Kim Guldstrand Larsen
- Gabriel Juhás
- Maciej Koutny
- Lars M. Kristensen
More information is available at
WORKSHOPS AND TUTORIALS
The workshops below have been accepted for PETRI NETS / ACSD 2010.
All workshops will take place on June 21 and/or June 22.
- Abstractions for Petri Nets and Other Models of Concurrency (APNOC)
Organizers: Alexander Serebrenik and Natalia Sidorova.
- Petri Nets and Software Engineering (PNSE)
Organizers: Michael Duvigneau and Daniel Moldt.
- Biological Processes & Petri Nets (BioPPN)
Organizers: Claudine Chaouiya and Monika Heiner.
- Scalable and Usable Model checking for petri nets and Other models of
Organizers: D. Buchs, F. Kordon, Y. Thierry-Megg, J. Sproston
- Foundations of Interface Technologies (FIT2010)
Organizers: B. Caillaud and A. Legay