www.informatik.uni-hamburg.de/TGI/PetriNets
|
|
|
Contents of the Petri Nets World
|
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).
|
|
www.informatik.uni-hamburg.de/TGI/PetriNets
|