First CfP: PETRI NETS 2010, 31st International Conference on Application
Joao Paulo Barros
*** 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
-------------------