|
News in the Petri Nets World
June 19, 2009:
Deadline Extension: 6th International Workshop on Formal Aspects
of Component Software. Among the topics are formal models for
software components and component interaction. Maybe someone uses
Petri Nets for this kind of thing?
Submission deadline is extended to June 26, 2009.
June 19, 2009:
Second Call for Papers: 10th International Middle Eastern Simulation
Multiconference.
Regular submission deadline is June 30, 2009, but
late submission deadline is July 30, 2009 (abstracts are due on June 30).
Please note that the MESM conference has been rescheduled and the
location changed!
June 18, 2009:
Call for Papers: First Joint WOSP/SIPEW International Conference
on Performance Engineering.
Submission deadline is July 7, 2009.
June 16, 2009:
Second Call for Papers: Second International Workshop on Formal
Methods held in conjunction with XXVIII International
Conference of the Chilean Computer Science Society.
Submission deadline is July 24, 2009.
June 12, 2009:
Call for Participation: The 20th International Conference on
Concurrency Theory will take place in Bologna, Italy from
September 1 to 4, 2009.
Early registration is open until July 31, 2009.
June 12, 2009:
Call for Papers: 8th Australasian Symposium on Parallel and Distributed
Computing. AusGrid event has been broadened to include all aspects of
parallel and distributed computing.
Submission deadline is September 7, 2009.
June 9, 2009:
Call for Papers: FM 2009 Doctoral Symposium.
Submission deadline is July 24, 2009.
June 8, 2009:
Call for Papers: For the tenth time the CPN Workshop will take place in Aarhus,
Denmark. This year the submission deadline for the Tenth Workshop and Tutorial on
Practical Use of Coloured Petri Nets and CPN Tools is July 24, 2009.
June 5, 2009:
Call for Participation: The 3rd International Workshop on Verification and Evaluation
of Computer and Communication Systems will take place in Rabat, Morroco from
July 2 to July 3, 2009. Registration deadline is June 26, 2009.
June 4, 2009:
Call for Participation: The 3rd IEEE Symposium on Theoretical Aspects of
Software Engineering will take place in Tianjin, China from July 29 to July 31, 2009.
Early registration deadline is June 18, 2009.
June 4, 2009:
Call for Papers: 1st Workshop on Quantitative Formal Methods: Theory and
Applications affiliated with
Formal Methods 2009.
Papers on or related to formal modeling of quantitative behavior are sought.
The CfP does not explicitly mention Petri Nets, but you can surely use
stochastic and timed Petri Nets for this.
Submission deadline is July 13, 2009.
June 3, 2009:
Call for Papers: 4th International Workshop Models@run.time.
Submission deadline is August 6, 2009.
May 29, 2009:
Call for Papers: 3rd Workshop on Membrane Computing and Biologically
Inspired Process Calculi. An Affiliated Workshop of CONCUR 2009.
Among the topics of interest are biologically inspired models and calculi.
Submission deadline is June 7, 2009 (abstracts due on June 1).
May 28, 2009:
Call for Papers: Young Researchers Workshop on Concurrency Theory
a satellite workshop of CONCUR 2009.This one-day workshop aims to bring together
PhD students, and young researchers in concurrency theory who recently completed
their doctoral studies in the last few years.
Submission deadline (for a 4-page abstract) is July 3, 2009.
May 28, 2009:
Deadline Extension: 2nd Int. FME Conference on Teaching Formal Methods.
Submission deadline is extended to June 8, 2009.
May 27, 2009:
Call for Posters: 14th International Workshop on Formal Methods
for Industrial Critical Systems.
Submission deadline for posters is June 5, 2009.
May 23, 2009:
Call for Papers: Second International Workshop on Dynamic and
Declarative Business Processes.
Submission deadline is May 31, 2009.
May 23, 2009:
Call for Papers: 13th IEEE/ACM International Symposium on
Distributed Simulation and Real Time Applications.
Submission deadline is extended to May 25, 2009.
May 22, 2009:
Call for Papers: Fourth International Workshop on Practical Applications
of Stochastic Modelling. Applications of current well-developed formalisms
(like stochastic Petri nets) to real-world case-studies are sought.
Submission deadline is July 1, 2009.
May 21, 2009:
Call for Papers: Track on Software Verification and Testing at the
25th Annual ACM Symposium on Applied Computing.
Submission deadline is September 8, 2009.
May 20, 2009:
Call for Papers: 3rd International Workshop on Formal Methods for
Interactive Systems. Affiliated with FM 2009.
Submission deadline is August 20, 2009 (abstracts due on August 10).
May 20, 2009:
Call for Papers: 2nd International Workshop on Computational Models
for Cell Processes. Maybe someone uses Petri Nets for this or has
an idea how to do so?
Submission deadline is June 29, 2009.
May 19, 2009:
Call for Papers: 9th International Workshop on Performability Modeling
of Computer and Communication Systems.
Submission deadline is June 8, 2009.
May 18, 2009:
Last Call for Papers: 6th International Workshop on Web Services and Formal
Methods.
Submission deadline is June 7, 2009 (abstracts due on May 31).
May 18, 2009:
Second Call for Papers: Second International Workshop on Formal Methods for
Wireless Systems. A satellite workshop of
CONCUR 2009.
Submission deadline is June 12, 2009 (abstracts due on June 5).
| 
