[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
Braga, Portugal

Web: http://petrinets2010.di.uminho.pt/
Email : petrinets2010[@]di[.]uminho[.]pt

Collocated with ACSD 2010: 10th International Conference on  
Application of Concurrency to System Design
(http://acsd2010.di.uminho.pt)
Common page at http://acsd-petrinets2010.di.uminho.pt

The call for papers is available at
http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2010/


INVITED SPEAKERS

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
http://acsd-petrinets2010.di.uminho.pt/?page=InvitedSpeakers


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
  concurrency (SUMo)
  Organizers: D. Buchs, F. Kordon, Y. Thierry-Megg, J. Sproston

- Foundations of Interface Technologies (FIT2010)
  Organizers: B. Caillaud and A. Legay

-------------------