What was New in 2009

December 20, 2009: Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

December 18, 2009: Call for Papers: 8th International Conference on Computational Methods in Systems Biology. Submission deadline is May 2, 2010 for papers (abstracts due on April 25) and June 23 for posters.

December 15, 2009: Call for Papers: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is January 31, 2010.

December 14, 2009: Last Call for Papers: 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place at Braga, Portugal. It will be co-located with ACSD 2010. Submission deadline for PN 2010 is January 5, 2010.

December 14, 2009: 2nd Call for Papers: 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is February 8, 2010.

Decmeber 11, 2009: Call for Papers: 7th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 29, 2010 (abstracts due on March 22).

Decmeber 10, 2009: Call for Papers: Workshop on Applications of Region Theory a satellite event of ACSD 2010 and Petri Nets 2010. Submission deadline is March 20, 2010.

December 8, 2009: 2nd Call for Participation: The First Joint WOSP/SIPEW International Conference on Performance Engineering will take place in San Jose, CA, USA, from January 28 to January 30, 2010. Early conference registration deadline is December 31, 2009.

Decmeber 3, 2009: Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

December 3, 2009: Call for Papers: Computability in Europe 2010: Programs, Proofs, Processes. Submission deadline is January 20, 2010.

December 2, 2009: Last Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is co-located with Petri Nets 2010. Submission deadline for ACSD 2010 is January 10, 2010.

December 2, 2009: Job Offer: The Department of Computer Science at the University of Copenhagen has openings for up to 3 full professor positions in programming languages and systems respectively software development, starting May 2010. Deadline for application is December 17, 2009.

November 30, 2009: Call for Papers: 5th International Conference on Graph Transformation. Submission deadline is April 16, 2010 (abstracts due on April 9).

November 25, 2009: ISO/IEC 15909-2: Software and system engineering -- High-level Petri nets -- Part 2: Transfer Format is now published as an ISO/IEC International Standard. See http://www.iso.org/iso/catalogue_detail.htm?csnumber=43538 for more details.

November 25, 2009: Call for Papers: 8th ACM-IEEE International Conference on Formal Methods and Models for Codesign Submission deadline is March 5, 2010 (abstracts due on February 26).

November 24, 2009: Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

November 23, 2009: Call for Papers: 1st International Conference on Parallel, Distributed and Grid Computing. Submission deadline is May 31, 2010.

November 20, 2009: Second Call for Papers: 6th International Conference on the Theory and Application of Diagrams. Submission deadline is January 18, 2010 (abstracts due on January 8).

November 18, 2009: Second Call for Papers: Eighth Workshop on Quantitative Aspects of Programming Languages - a satellite event of ETAPS 2010. Submission deadline is December 21, 2009.

November 16, 2009: Call for Papers: Second International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. APNOC is a satellite event of Petri Nets 2010, it's goal is to serve as a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. Submission deadline is March 20, 2009 (abstracts due on March 13, 2009).

November 16, 2009: Call for Papers: 7th Annual Future Business Technology Conference. Submission deadline is January 20, 2010.

November 15, 2009: Call for Papers: First International Symposium on Architecting Critical Systems. Submission deadline is February 10, 2010.

November 14, 2009: Call for Papers: 10th International Conference on Mathematics of Program Construction. Submission deadline is December 14, 2009 (abstracts due on December 7).

November 13, 2009: Call for Workshops: 10th Annual International Conference on New Technologies of Distributed Systems. Workshop proposals are due November 15, 2009.

November 12, 2009: Deadline Extension: Third International Workshop From Biology To Concurrency and back. The workshop aims at gathering researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and tools from concurrency such as Petri Nets. Submission deadline is extended to December 8, 2009 (title and abstract are due on November 29).

November 11, 2009: Call for Papers: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is January 31, 2010.

November 9, 2009: Job Offer: The PhD in Computer Science and Engineering program in Lucca, Italy has 12 open positions and offers 6 scholarships. The deadline for application is December 4, 2009.

November 8, 2009: Call for Papers: 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is February 8, 2010.

November 5, 2009: Last Call for Papers: 4th International Conference on Language and Automata Theory and Applications. Submission deadline is December 3, 2009. The deadline is firm!

November 1, 2009: Call for Participation: The First Joint WOSP/SIPEW International Conference on Performance Engineering will take place in San Jose, CA, USA, from January 28 to January 30, 2010. Early conference registration deadline is December 31, 2009.

October 31, 2009: Job Offer: Bergen University College, Faculty of Engineering, has 1-2 open 2-3 year positions for postdoctoral researchers in the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of Norway.

October 31, 2009: Job Offer: Bergen University College, Faculty of Engineering, has 1-3 open positions for PhD research fellows in the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of Norway.

October 29, 2009: Call for Workshops: 10th Annual International Conference on New Technologies of Distributed Systems. Workshop proposals are due November 15, 2009.

October 28, 2009: Final Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

October 26, 2009: Job Offer: Bergen University College, Faculty of Engineering, has an open position for a PhD student in computer science/informatics with a focus on model-based development of concurrent software systems.

October 15, 2009: Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

October 14, 2009: First Call for Papers: 21st IEEE International Symposium on Rapid System Prototyping. Suggested topics include application of formal methods to prototyping and system verification/validation. Submission deadline is February 10, 2010 (abstracts due on February 5).

October 14, 2010: First Call for Papers: 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place at Braga, Portugal. It will be co-located with ACSD 2010. Submission deadline for PN 2010 is January 5, 2010.

October 13, 2009: 2nd Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

October 10, 2009: Call for Papers: 4th International Conference on Language and Automata Theory and Applications. Submission deadline is December 3, 2009.

October 9, 2009: Call for Papers: First International Conference on Complex Systems Design and Management. Submission deadline is January 22, 2010 (abstracts due on January 4).

October 8, 2009: 2nd Call for Participation: Formal Methods 2009 the 16th FM Symposium and 2nd World Congress Theory meets practice will take place from November 2 to November 6, 2009 in Eindhoven, the Netherlands. The "FMweek" consists of several workshops and tutorials. Have a look at http://www.win.tue.nl/fmweek for more information.

October 8, 2009: Call for Participation: The 1st International Workshop on Formal Methods for Aerospace will take place on November 3, 2009 in Eindhoven, the Netherlands. It is part of FM2009. Registration for FMA 2009 is now open now, but after October 19 late registration fees will apply.

Ocotber 7, 2010: First Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is co-located with Petri Nets 2010. Submission deadline for ACSD 2010 is January 10, 2010.

October 6, 2010: A new version of the Renew tool has been announced.

October 6, 2009: Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

October 6, 2009: Call for Participation: The 14th International Workshop on Formal Methods for Industrial Critical Systems will take place at the start of November 2009. It is part of the formal methods week in Eindhoven, The Netherlands. Have a look at http://www.win.tue.nl/fmweek for more information.

October 4, 2009: Call for Participation: The 9th International Conference on Formal Methods in Computer-Aided Design will take place November 15-18, 2009 in Austin, Texas, USA. Registration is now open. Early registration ends on October 11, 2009.

October 1, 2009: Job Offer: The Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven has a vacancy for a Postdoc in Health Monitoring of Systems-of-Systems using Process Mining as part of the Poseidon project V32.048 within the expertise group Architecture of Information Systems (AIS).

September 30, 2009: Deadline Extension: Second International Workshop on UML & Formal Methods. Submission deadline is extended to October 12, 2009.

September 29, 2009: Call for Papers: Eighth Workshop on Quantitative Aspects of Programming Languages - a satellite event of ETAPS 2010. Submission deadline is December 21, 2009.

September 28, 2009: Call for Participation: The 3rd International Workshop on Formal Methods for Interactive Systems will take place on November 2, 2009 in Eindhoven, the Netherlands. It is part of FM2009.

September 28, 2009: Call for Participation: The 18th International Conference on Applications of Declarative Programming and Knowledge Management will take place November 5-7, 2009 in Evora, Portugal. Registration is now open. Early registration is available until October 15, 2009.

September 25, 2009: Call for Papers: Workshop on Biological Processes and Petri Nets - a workshop at Petri Nets 2010. The workshop focus lies on Petri nets to study biological applications. Submission deadline is March 20, 2010.

September 25, 2009: Call for Papers: Third International Workshop From Biology To Concurrency and back. The workshop aims at gathering researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and tools from concurrency such as Petri Nets. Submission deadline is November 15, 2009 (title and abstract are due on November 8).

September 24, 2009 The list of accepted papers for ESM 2009 is available.

September 23, 2009 New Tool Entry: A new tool has been added to the Petri Nets Tools Database. TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at AALborg University in Denmark and available for Linux, Windows and Mac OS X platforms.

September 22, 2009: Call for Participation: The 2nd International Workshop on Computational Models for Cell Processes will take place on November 3, 2009 in Eindhoven, the Netherlands. It is also part of FM2009.

September 19, 2009: Call for Participation: The 2nd Int. FME Conference on Teaching Formal Methods will take place on Friday, November 6th 2009 in Eindhoven, the Netherlands. It is part of FM2009.

September 15, 2009: Call for Papers: 15th GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and on Dependability and Fault Tolerance. The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems. In 2010 both committees join forces in a common conference. Stochastic Petri Nets are explicitly mentioned in the CfP. Submission deadline is October 1, 2009 for full papers and November 1, 2009 for tools and tutorials.

September 12, 2009: Call for Participation: The 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications will take place from October 25 to October 28, 2009 in Singapore. DS-RT 2009 serves as a forum for simulationists from academia, industry and research labs, for presenting recent research results in Distributed Simulation and Real Time Applications.

September 11, 2009: Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

September 8, 2009: Second Call for Papers: Second International Workshop on UML & Formal Methods. Submission deadline is September 30, 2009.

September 8, 2009: Last Call for Papers and Deadline Extension: Track on Software Verification and Testing at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is extended to September 15, 2009.

September 8, 2009: Call for Participation: 14th International Workshop on Formal Methods for Industrial Critical Systems part of the formal methods week, see CfPart directly below.

September 8, 2009: Call for Participation: Formal Methods 2009 the 16th FM Symposium and 2nd World Congress Theory meets practice will take place from November 2 to November 7, 2009 in Eindhoven, the Netherlands. The "FMweek" consists of several workshops and tutorials. Have a look at http://www.win.tue.nl/fmweek for more information.

September 7, 2009: Call for Participation: The 16th Workshop Algorithms and Tools for Petri Nets will take place in Karlsruhe, Germany on September 25, 2009.

September 4, 2009: Call for Papers: The European Joint Conferences on Theory and Practice of Software will take place from March 20 to March 28 in Paphos, Cyprus. Submission deadline is October 8, 2009 (title and abstract are due on October 1). These deadlines are strict!

September 3, 2009: Important decisions from the Steering committee meeting in Paris, June 2009, can be found here.

September 2, 2009: Call for Papers: Symposium on Theory of Modeling and Simulation. The Symposium will focus on bridging different areas in the Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies and tools. Submission deadline is October 15, 2009.

September 2, 2009: Last Call for Participation: The 3rd Workshop on Reachability Problems will take place at the Ecole Polytechnique, France, September 23-25, 2009.

August 31, 2009: Call for Papers: Track on Embedded Systems - Applications, Solutions, and Techniques at the 25th Annual ACM Symposium on Applied Computing. The submission deadline is approaching: September 8, 2009.

August 28, 2009: Call for Papers: 17th Workshop on Logic, Language, Information and Computation. Submission deadline is March 7, 2010 (abstracts due on February 28).

August 27, 2009: Call for Participation: The Fifth International Workshop on Modelling of Objects, Components, and Agents will take place in Hamburg, Germany on Friday, September 11, 2009.

August 27, 2009: Call for Papers: 6th International Conference on the Theory and Application of Diagrams. Submission deadline is January 18, 2010 (abstracts due on January 8).

August 25, 2009: Last Call for Papers: Track on Software Verification and Testing at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is September 8, 2009.

August 19, 2009: Call for Papers and Deadline Extension: 16th Workshop Algorithms and Tools for Petri Nets. Submission deadline is extended to August 31, 2009 for short papers. The official workshop language is German, but English contributions are welcome.

August 18, 2009: Call for Papers: Track on Enterprise Engineering at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is September 8, 2009.

August 18, 2009: Call for Papers: Second International Workshop on UML & Formal Methods. Submission deadline is September 30, 2009.

August 14, 2009: Job Offer: Tallinn University of Technology, Faculty of Information Technology invites applications from outstanding scientist for Full Professorship in Dependable Embedded Systems.

August 12, 2009: Call for Participation: The 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems will take place at the South Kensington Campus, Imperial College London, UK, September 21-23, 2009.

August 11, 2009: Job Offer: Four positions for researchers / PhD Students are available at the Department of Informatics, University of Hamburg, Germany within the BMBF-project Herold: Model and tools for space oriented management of distributed network security components.

August 10, 2009: New textbook on Coloured Petri Nets by Kurt Jensen & Lars M. Kirstensen. For more information see http://www.cs.au.dk/CPnets/cpnbook/.

August 7, 2009: Job Offer: A postdoc position and a Ph.D. scholarship are available at the Department of Computer Science, University of Copenhagen (DIKU) within 3d generation enterprise resource planning systems (3gERP).

August 7, 2009: Call for Papers: 4th International Conference on Language and Automata Theory and Applications . Submission deadline is December 3, 2009.

August 3, 2009: Call for Papers: For the tenth time the CPN Workshop will take place in Aarhus, Denmark. The submission deadline for the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools is August 15, 2009.

August 3, 2009: Call for Short Contributions and Participation: The Ninth International Workshop on Automated Verification of Critical Systems. will take place at Swansea, UK, September 23-25. Short contributions can still be submitted until August 5, 2009.

July 29, 2009: Job Offer: The OLC group at LAAS, a CNRS research laboratory located in Toulouse (France), is offering a PhD position on Model Checking and Static Analysis of Programs.

July 25, 2010: Preliminary Call for Papers: 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place at Braga, Portugal. It will be co-located with ACSD 2010 (see the news below). Submission deadline for PN 2010 is January 5, 2010.

July 24, 2010: Preliminary Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is co-located with Petri Nets 2010. Submission deadline for ACSD 2010 is January 10, 2010.

July 24, 2009: Call for Participation: The 3rd Workshop on Reachability Problems will take place at the Ecole Polytechnique, France, September 23-25, 2009. Registration is free, if done before July 27!

July 24, 2009: Job Offer: The Eindhoven University of Technology (TU/e) has an open PhD and an open Postdoc position. Both positions are in the project Efficient Multi-Core Model Checking.

July 23, 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.

July 23, 2009: Call for Participation: The 6th International Colloquium on Theoretical Aspects of Computing will take place at Pullman Putrajaya Lakeside, Malaysia, August 14-20, 2009.

July 21, 2009: Call for Papers: 17th Workshop on Logic, Language, Information and Computation. Submission deadline is March 7, 2010 (abstracts due on February 28).

July 20, 2009: Call for Participation: The Second International Workshop on Logics for Agents and Mobility will take place in Los Angeles, California, USA on August 10, 2009. Early registration deadline is July 26, 2009.

July 16, 2009: Deadline Extension: Fifth International Workshop on Modelling of Objects, Components, and Agents. Contributions concerned with Petri nets in any relation to objects, components, and agents are sought. Submission deadline is extended to July 22, 2009.

July 16, 2009: Second 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.

July 15, 2009: Deadline Extension: Second International Workshop on Formal Methods held in conjunction with XXVIII International Conference of the Chilean Computer Science Society. Submission deadline is extended to August 14, 2009.

July 14, 2009: Call for Participation: The 7th International Symposium on Automated Technology for Verification and Analysis will take place at Macao SAR, China, October 13-16, 2009. Early registration deadline is August 15, 2009.

July 11, 2009: Call for Participation: The 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems will take place at the South Kensington Campus, Imperial College London, UK, September 21-23, 2009.

July 11, 2009: Call for Papers: Track on Enterprise Engineering at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is September 8, 2009.

July 9, 2009: Call for Papers: Track on Embedded Systems - Applications, Solutions, and Techniques at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is September 8, 2009.

July 9, 2009: Call for Participation: The 7th International Conference on Computational Methods in Systems Biology will take place in Bologna, Italy from August 31 to September 1, 2009. Early registration deadline is July 31, 2009.

July 9, 2009: Deadline Extension: 1st Workshop on Quantitative Formal Methods: Theory and Applications affiliated with Formal Methods 2009. Submission deadline is extended to July 19, 2009.

July 9, 2009: Call for Papers: 16th Workshop Algorithms and Tools for Petri Nets. Submission deadline is July 15, 2009 for long and August 15, 2009 for short papers. The official workshop language is German, but English contributions are welcome.

July 8, 2009: Call for Papers: FM 2009 Doctoral Symposium. Submission deadline is July 24, 2009.

July 8, 2009: Job Offer: The Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) has two vacancies for a Postdoc and PhD on Process Mining within the expertise group Architecture of Information Systems (AIS).

July 8, 2009: Call for Papers: 23rd European Simulation and Modelling Conference. There will be a workshop entitled Simulation with Petri Nets (the other workshops also sound interesting). Submission deadline is July 25, 2009.

July 8, 2009: Call for Participation: The 3rd Workshop on Reachability Problems will take place at the Ecole Polytechnique, France, September 23-25, 2009. Registration is free, if done before July 27!

July 7, 2009: Last 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.

July 7, 2009: Job Offer: Several PhD and PostDoc vacancies at Saarland University, Germany. at the research group Dependable Systems and Software.

July 6, 2009: Deadline Extension: First Joint WOSP/SIPEW International Conference on Performance Engineering. Submission deadline is extended to July 21, 2009.

June 30, 2009: Call for Papers and Deadline Extension: 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 extended to July 12, 2009.

June 24, 2009: Call for Papers: Fifth International Workshop on Modelling of Objects, Components, and Agents. Contributions concerned with Petri nets in any relation to objects, components, and agents are sought. Submission deadline is July 17, 2009.

June 23, 2009: Call for Tutorials and Posters: First Joint WOSP/SIPEW International Conference on Performance Engineering. Submission deadline for Poster and Tutorial proposals is July 7, 2009.

June 22, 2009: Second Call for Papers: 18th International Conference on Applications of Declarative Programming and Knowledge Management. Submission deadline is June 29, 2009.

June 21, 2009: Last Call for Papers and Deadline Extension: 2nd International Workshop on Computational Models for Cell Processes. Submission deadline is extended to July 15, 2009.

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).

May 18, 2009: Last Call for Papers: 2nd Int. FME Conference on Teaching Formal Methods. Submission deadline is May 25, 2009.

May 18, 2009: Second Call for Tool Demonstrations: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and the 20th IEEE/IFIP International Symposium on Rapid System Prototyping will feature a Tool Exhibition. Request for participation in the tool exhibition must be sent to the Tool Exhibition chair before June 1.

May 17, 2009: There are only 3 days left for the early registrations to the co-located events Petri Net'2009 and RSP'2009

May 15, 2009: Second Call for Papers: 2nd Interaction and Concurrency Experience - Structured Interactions a Satellite workshop of CONCUR 2009. Submission deadline is June 5, 2009 (abstracts due on May 29, 2009).

May 15, 2009: Last Call for Papers: 9th International Conference on Formal Methods in Computer-Aided Design. The application of formal methods to the design of (concurrent) systems is one of the main topics. Submission deadline is extended to June 5, 2009 (abstracts due on May 29).

May 15, 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 15, 2009: Call for Proposals for Workshops and Tutorials: The 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in Braga, Portugal in June 2009. For this major event proposals for both tutorials and workshops are now welcome. All workshop/tutorial proposals must be written in English. The deadline for workshop proposals is June 1, 2009. For tutorials an expression of interest can be sent before June 1st 2009. Full tutorial proposals are due January 5th 2010.

May 14, 2009: Call for Papers: 10th International Middle Eastern Simulation Multiconference. 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!

May 11, 2009: 2nd Call for Participation: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Paris, France, June 22-26, 2009. The conference will be collocated with the RSP 2009. Early registration deadline is May 20, 2009.

May 8, 2009: 2nd Call for Papers: 2nd Annual North American Simulation Technology Conference. Petri Nets are explicitly mentioned in the CfP. Submission deadline is June 5, 2009.

May 8, 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.

May 8, 2009: Call for Participation: Computability in Europe 2009: Mathematical Theory and Computational Practice. The CiE 2009 will be held in Heidelberg, Germany from July 19 to July 24, 2009. The early registration deadline is May 15, 2009. There will also be the possibility for informal presentations. Submission deadline for this is June 1, 2009.

May 8, 2009: Call for Posters: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline for posters is June 5, 2009.

May 6, 2009: Call for Papers: 16th Workshop Algorithms and Tools for Petri Nets. Submission deadline is July 15, 2009 for long and August 15, 2009 for short papers. The official workshop language is German, but English contributions are welcome.

May 5, 2009: Call for Posters: 7th International Conference on Computational Methods in Systems Biology. Submission deadline for posters is May 30, 2009.

May 4, 2009: Deadline Extension: Second International Workshop on Logics for Agents and Mobility. Submission deadline is extended to May 17, 2009.

May 2, 2009: Call for Papers: 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications. Submission deadline is May 11, 2009.

April 30, 2009: Call for Papers: 5th International Symposium on Domain Theory. Submission deadline is June 5, 2009 (abstracts due May 22).

April 29, 2009: Call for Papers: 18th International Conference on Applications of Declarative Programming. Submission deadline is June 29, 2009.

April 29, 2009: A working meeting of Petri net experts on ISO/IEC 15909 will be held during the Petri Nets 2009 in Paris. All experts are welcome to attend. The announcment can be found here.

April 28, 2009: Call for Proposals for Workshops and Tutorials: The 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in Braga, Portugal in June 2009. For this major event proposals for both tutorials and workshops are now welcome. All workshop/tutorial proposals must be written in English. The deadline for workshop proposals is June 1, 2009. For tutorials an expression of interest can be sent before June 1st 2009. Full tutorial proposals are due January 5th 2010.

April 27, 2009: Call for Papers: 6th International Workshop on Web Services and Formal Methods. Submission deadline is June 7, 2009 (abstracts due on May 31).

April 27, 2009: Call for Papers: Workshop on Design, Analysis and Tools for Integrated Circuits and Systems. Petri Nets as a formalism to achiev the workshop's goals are explicitly mentioned in the CfP. Submission deadline is May 15, 2009.

April 26, 2009: Call for Papers: 5th International Workshop on Graph-Based Tools. The contest cases are online. Submission deadline for solutions is May 22, 2009.

April 25, 2009: Call for Papers: 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 June 19, 2009.

April 25, 2009: 3rd Call for Papers: Second International Workshop on Logics for Agents and Mobility. If you use Petri Nets to e.g. model mobile systems, this workshop might be for you. Submission deadline is May 1, 2009.

April 24, 2009: Call for Papers: Second International Workshop on Dynamic and Declarative Business Processes. Submission deadline is May 31, 2009.

April 24, 2009: Job Offer: PhD positions in Information and Communication Technologies on Formal Verification via SMT solving are available at the International Doctorate School in Information and Communication Technologies of the University of Trento, Italy.

April 24, 2009: Call for Demonstrations: 11th Join International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS/Performance). Demonstrations of innovative research related to Performance Evaluation of Computer Systems are sought. Submission deadline is May 1, 2009.

April 24, 2009: Deadline Extension: 3rd Workshop on Reachability Problems. Contributions related to reachability problems in different computational models and systems are being sought. Among these models are (of course) also Petri-Nets (they are explicitly mentioned in the CfP). Submission deadline is extended to May 11, 2009.

April 23, 2009: Deadline Extension: 7th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets as a useful theory for providing designers with (automated) support for obtaining correct software or hardware systems is explicitly mentioned in the Call for Papers. Submission deadline is extended to May 11, 2009 (abstracts due on May 1).

April 22, 2009: Job Offer: A 3.5year Ph.D Position and a Postdoc Position are available in the area of Program Analysis and Verification in the Department Of Computer Science, Durham University, UK. Closing dates are May 15, 2009 for the Ph.D position and May 31, 2009 for the Postdoc position.

April 22, 2009: Deadline Extension: IEEE 14th International Conference on Emerging Technologies and Factory Automation. The fourth track of ETFA 2009 entitled Track 4 - Automated Manufacturing Systems explicitly mentions Petri Nets in Manufacturing Systems in it's Call for Papers. (The other tracks might be interessting, too!) Submission deadline for long papers is extended to April 30, 2009.

April 20, 2009: Call for Papers: 2nd Int. FME Conference on Teaching Formal Methods. Submission deadline is May 25, 2009.

April 17, 2009: Call for Papers: Special Session on Power & Performance Evaluation of Embedded Systems. A special session at ETFA 2009. Submission deadline is May 10, 2009.

April 15, 2009: Deadline Extension: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is extended to April 20, 2009 (abstracts due on April 16, 2009).

April 15, 2009: Call for Papers: 2nd Interaction and Concurrency Experience - Structured Interactions a Satellite workshop of CONCUR 2009. Submission deadline is June 5, 2009 (abstracts due on May 29, 2009).

April 15, 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.

April 14, 2009: Call for Participation: Seventh Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Padtad 2009 will take place in Chicago, Illinois, USA from July 19 to July 20, 2009. The submission deadline is still open until April 19, 2009.

April 14, 2009: Call for Papers: 23rd European Simulation and Modelling Conference. There will be a workshop entitled Simulation with Petri Nets (the other workshops also sound interesting). Submission deadline is July 25, 2009.

April 13, 2009: Call for Participation: Computability in Europe 2009: Mathematical Theory and Computational Practice. The CiE 2009 will be held in Heidelberg, Germany from July 19 to July 24, 2009. The early registration deadline is May 15, 2009. There will also be the possibility for informal presentations. Submission deadline for this is June 1, 2009.

April 10, 2009: Call for Papers: 3rd Workshop on Reachability Problems. Contributions related to reachability problems in different computational models and systems are being sought. Among these models are (of course) also Petri-Nets (they are explicitly mentioned in the CfP). Submission deadline is April 23, 2009.

April 7, 2009: Deadline Extension: 25th UK Performance Engineering Workshop. This time celebrating its 25th Anniversary UKPEW invites papers covering aspects of performance modelling and analysis of computer and telecommunication systems. Stochastic Petri Nets as a modelling paradigm are explicitly mentioned in the CfP. Submission deadline is extended to April 17, 2009.

April 7, 2009: 2nd Call for Papers: Second International Workshop on Logics for Agents and Mobility. If you use Petri Nets to e.g. model mobile systems, this workshop might be for you. Submission deadline is May 1, 2009.

April 6, 2009: Call for Papers and Deadline Extension: 6th International Colloquium on Theoretical Aspects of Computing. Submission deadline is extended to April 12, 2009.

April 6, 2009: Final Call for Papers: 16th International Symposium on Formal Methods. For the Symposium, papers on every aspect of the development and application of formal methods for the improvement of the current practice on system developments are invited for submission. There are also various interessting workshops. Submission deadline (for Symposium submissions) is May 4, 2009.

April 4, 2009: Call for Participation: 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. A one-day ACM/IEEE ICSE Workshop: Saturday, May 16, 2009 Vancouver, British Columbia, Canada. Early registration deadline is April 11, 2009.

April 3, 2009: Call for Papers: 2nd Int. FME Conference on Teaching Formal Methods. Submission deadline is May 25, 2009.

April 3, 2009: Call for Participation: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Paris, France, June 22-26, 2009. The conference will be collocated with the RSP 2009. Early registration deadline is May 20, 2009.

April 3, 2009: Final Call for Papers: 7th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets as a useful theory for providing designers with (automated) support for obtaining correct software or hardware systems is explicitly mentioned in the Call for Papers. Submission deadline is May 1, 2009.

April 2, 2009: Call for Tool Demonstrations: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and the 20th IEEE/IFIP International Symposium on Rapid System Prototyping will be feature a Tool Exhibition. Request for participation in the tool exhibition must be sent to the Tool Exhibition chair before May 15.

April 1, 2009: Deadline Extension: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is extended to April 17, 2009 (abstracts due on April 10, 2009).

March 29, 2009: Call for Papers: First Joint WOSP/SIPEW International Conference on Performance Engineering. Submission deadline is July 7, 2009.

March 29, 2009: Call for Papers: International Workshop on Formal Methods for Aerospace. Submission deadline is August 21, 2009.

March 27, 2009: Call for Papers: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 7, 2009 (abstracts due on April 1, 2009).

March 26, 2009: Call for Papers: Second Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is extended to April 1, 2009.

March 24, 2009: Call for Papers: 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is extended to April 10, 2009.

March 24, 2009: Call for Papers: 3rd IFAC Conference on Analysis and Design of Hybrid Systems. Submission deadline is extended to April 21, 2009.

March 24, 2009: Final Call for Papers: 20th International Conference on Concurrency Theory. The conference covers all areas of concurrency. Petri Nets are explictly mentioned as a basic model of concurrency. Submission deadline is extended to April 15, 2009 (abstracts due on April 8).

March 23, 2009: Deadline Extension: 6th International Conference on Quantitative Evaluation of SysTems. Submission deadline is extended to April 6, 2009 (abstracts due on March 30).

March 23, 2009: Job Offer: Open positions for post-doctoral researchers, PhD students and fellows at the United Nations University in Macao. The project concerns the top-down development of information systems and especially concentrates on distributed systems.

March 20, 2009: 2nd Call for Papers: Ninth International Workshop on Automated Verification of Critical Systems. Submission deadline is June 26, 2009 for full papers and July 27, 2009 for short contributions.

March 20, 2009: 3rd 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).

March 20, 2009: WoPeD 2.2.0 has been released. The new version adds a number of new features and fixes many small bugs. See the announcement for more details.

March 19, 2009: 2nd Call for Papers: 7th International Conference on Formal Modelling and Analysis of Timed Systems.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems. To analyse the theoretical foundations of timed systems (and languages), timed Petri Nets are explicitly mentioned in the CfP. FORMATS 2009 is this year co-located with QEST 2009. Submission deadline is April 17, 2009 (abstracts due on April 10).

March 19, 2009: Deadline Extension: IEEE 14th International Conference on Emerging Technologies and Factory Automation. The fourth track of ETFA 2009 entitled Track 4 - Automated Manufacturing Systems explicitly mentions Petri Nets in Manufacturing Systems in it's Call for Papers. (The other tracks might be interessting, too!) Submission deadline for long papers is extended to April 30, 2009.

March 17, 2009: Call for Papers: 9th International Conference on Formal Methods in Computer-Aided Design. The application of formal methods to the design of (concurrent) systems is one of the main topics. Submission deadline is May 22, 2009 (abstracts due on May 15).

March 16, 2009: Job Offer: Open PhD position in Security for Mobile Code at the KTH - Royal Institute of Technology, Stockholm, Sweden. The project will develop a theoretical framework for contract-based security of mobile code, and develop algorithmic techniques and tool support for extracting contracts from code, code-contract compliance proof generation, and contract-policy matching. Deadline for applications is April 17, 2009.

March 13, 2009: Deadline Extension: International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. APNOC is a satellite event of Petri Nets 2009, it's goal is to serve as a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. Submission deadline is extended to March 27, 2009. Submission deadline for posters remains May 1, 2009.

March 12, 2009: Call for Papers and Deadline Extension: 7th International Conference on Computational Methods in Systems Biology. Submission deadline is extended to March 27, 2009 (abstracts are due on March 20).

March 10, 2009: Deadline Extension: International Workshop on Petri Nets and Software Engineering. a satellite event of Petri Nets 2009 and RSP 2009. The workshop focus on the use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering. Submission deadline for papers is extended to March 31, 2009. A submission of an abstract a week before the deadline is highly welcome. The submission deadline for posters remains May 2, 2009.

March 10, 2009: Deadline Extension: 6th International Conference on Quantitative Evaluation of SysTems. Submission deadline is extended to March 30, 2009 (abstracts due on March 23).

March 10, 2009: Call for Posters: 3rd IEEE Symposium on Theoretical Aspects of Software Engineering. Submission deadline is April 22, 2009.

March 10, 2009: Deadline Extension: International Workshop on Organizational Modeling a satellite event of Petri Nets 2009 and RSP 2009. The workshops main focus is organizational modeling techniques and related subjects like simulation and verification. Submission deadline is extended to March 24, 2009 for papers (abstracts are due on March 17). The poster deadline remains May 2, 2009.

March 10, 2009: Call for Papers: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 7, 2009 (abstracts due on April 1, 2009).

March 9, 2009: Call for Papers: 2nd Annual North American Simulation Technology Conference. Petri Nets are explicitly mentioned in the CfP. Submission deadline is June 5, 2009.

March 6, 2009: Call for Papers: 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is March 30, 2009.

March 6, 2009: 5th Call for Papers: 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 3, 2009 (abstracts due on March 27, 2009).

March 6, 2009: Call for Papers: 20th International Conference on Concurrency Theory. The conference covers all areas of concurrency. Petri Nets are explictly mentioned as a basic model of concurrency. Submission deadline is extended to April 13, 2009 (abstracts due on April 8).

March 4, 2009: Deadline Extension: 5th Bioinformatics workshop using Petri nets in the field of Biological Sciences, Health Sciences, Medicine and Chemistry at the Summer Computer Simulation Conference. Submission deadline is extended to March 31, 2009.

March 4, 2009: 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).

March 4, 2009: Call for Papers: International Workshop on Organizational Modeling a satellite event of Petri Nets 2009 and RSP 2009. The workshops main focus is organizational modeling techniques and related subjects like simulation and verification. Submission deadline is March 10, 2009 for short and full papers and May 2, 2009 for posters.

March 3, 2009: Call for Papers: International Workshop on Petri Nets and Software Engineering. a satellite event of Petri Nets 2009 and RSP 2009. The workshop focus on the use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering. Submission deadline is March 10, 2009 for short and full papers and May 2, 2009 for posters.

March 3, 2009: Call for Demos: 7th International Conference on Business Process Management. From the CfP: Demo submissions are invited to be included in the BPM 2009 Demonstration Track. The demo track is intended to showcase innovative business process management tools and applications. Demo submission deadline is May 7, 2009.

March 3, 2009: Deadline Extension: 9th International Workshop on Runtime Verification. Submission deadline is extended to March 25, 2009.

March 2, 2009: Call for Papers: 5th International Workshop on Business Process Intelligence held in conjunction with BPM 2009. Submission deadline is May 7, 2009 (strict deadline).

February 26, 2009: Call for Papers: 6th International Colloquium on Theoretical Aspects of Computing. Submission deadline is April 10, 2009 (abstracts are due on April 6).

February 24, 2009: Last Call for Papers: 5th Bioinformatics workshop using Petri nets in the field of Biological Sciences, Health Sciences, Medicine and Chemistry at the Summer Computer Simulation Conference. Submission deadline is February 25, 2009.

February 24, 2009: Call for Papers: IEEE 14th International Conference on Emerging Technologies and Factory Automation. The fourth track of ETFA 2009 entitled Track 4 - Automated Manufacturing Systems explicitly mentions Petri Nets in Manufacturing Systems in it's Call for Papers. (The other tracks might be interessting, too!) Submission deadline is March 31, 2009 for long papers.

February 19, 2009: Call for Papers: 16th International Symposium on Formal Methods. For the Symposium, papers on every aspect of the development and application of formal methods for the improvement of the current practice on system developments are invited for submission. There are also various interessting workshops. Submission deadline (for Symposium submissions) is May 4, 2009.

February 19, 2009: Last Call for Papers: 5th International Workshop on Enterprise & Organizational Modeling and Simulation Among the topics of interest are the modeling and simulation of Business Processes with Petri Nets. Submission deadline is February 23, 2009.

February 19, 2009: Call for Papers: 8th International Workshop on Parallel and Distributed Methods in Verification. The aim of the PDMC workshop series is to cover all aspects related to the verification and analysis of very large computer systems. Submission deadline is Aguust 7, 2009 (abstracts due on August 1, 2009)

February 18, 2009: Call for Papers: 7th International Conference on Business Process Management. At the conference a wide variety of topics connected with processes (modeling and analysis among others) will be discussed. Submission deadline is March 14, 2009 (strict!).

February 18, 2009: Call for Papers: 16th Workshop on Logic, Language, Information and Computation. Submission deadline is March 8, 2009 (firm!), abstracts due on February 28, 2009.

February 18, 2009: Call for Papers: International Workshop on Petri Nets and Software Engineering. a satellite event of Petri Nets 2009 and RSP 2009. The workshop focus on the use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering. Submission deadline is March 10, 2009 for short and full papers and May 2, 2009 for posters. (The deadline was mistakingly announced as April 21 here!)

February 18, 2009: Call for Papers: 12th European Workshop on Dependable Computing. EWDC 2009 will focus on software verification and assessment. One of the topics is formal verification of code or models. Submission deadline is extended to February 25, 2009.

February 17, 2009: Final Call for Participation: The European Joint Conferences on Theory and Practice of Software. There are 5 Conferences, 21 Workshops and 4 Tutorials! The Conferences and Workshops cover a broad variety of theoretical and practical aspects of Computer Science. The ETAPS takes place in York, UK, from March 22 to March 29, 2009.

February 16, 2009: Call for Papers: Second Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is March 25, 2009.

February 16, 2009: Call for Papers: 11th Workshop on MAthematical performance Modeling and Analysis. Abstract submission deadline is May 1, 2009.

February 12, 2009: Last Call for Papers: 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Submissions in which Petri Nets are used for e.g. the modelling of business processes and industry applications are welcome. Case studies are also welcome. Submission deadline is extended to February 21, 2009.

February 12, 2009: Call for Papers: 3rd IEEE Symposium on Theoretical Aspects of Software Engineering. Submission deadline is February 27, 2009 (abstracts due on February 20).

February 12, 2009: Call for Papers: 6th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 23, 2009 (abstracts due on March 16).

February 11, 2009: Call for Papers: 7th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets as a useful theory for providing designers with (automated) support for obtaining correct software or hardware systems is explicitly mentioned in the Call for Papers. Submission deadline is May 1, 2009.

February 10, 2009: Call for Papers: 5th Bioinformatics workshop using Petri nets in the field of Biological Sciences, Health Sciences, Medicine and Chemistry at the Summer Computer Simulation Conference. Submission deadline is February 25, 2009.

February 10, 2009: Call for Papers: 7th International Conference on Computational Methods in Systems Biology. Submission deadline is March 23, 2009 (abstracts are due on March 16).

February 7, 2009: Call for Papers: The 2009 IEEE International Conference on Systems, Man, and Cybernetics will take place in San Antonio, Texas, USA. Petri Nets (and Discrete Event Systems in general) are explicitly mentioned in the CfP. Submission deadline is March 15, 2009.

February 6, 2009: Deadline Extension: 6th European Performance Engineering Workshop. Among the topics are stochastic Petri Nets as a formal modelling paradigm. Submission deadline is extended to February 20, 2009.

February 5, 2009: Call for Papers: 3rd IFAC Conference on Analysis and Design of Hybrid Systems. Submission deadline is March 26, 2009.

February 4, 2009: Job Offer: Open Post-Doc position at the Specification and Verification group of the University Paris 13 Computer science laboratory. The activities will target algorithms, methodologies and tools for the design and verification of a large scale peer-to-peer storage protocol. The position is already open, and applications will be evaluated upon arrival. The position will be filled as soon as possible.

February 2, 2009: Call for Papers: IEEE 14th International Conference on Emerging Technologies and Factory Automation. The fourth track of ETFA 2009 entitled Track 4 - Automated Manufacturing Systems explicitly mentions Petri Nets in Manufacturing Systems in it's Call for Papers. (The other tracks might be interessting, too!) Submission deadline is March 31, 2009 for long papers.

January 30, 2009: Job Offer: There is an open postion for an Assistant Professor at the University Nova de Lisboa at the Departamento de Informática. The deadline for submission is February 15, 2009.

January 29, 2009: Call for Papers: International Workshop on Abstractions for Petri Nets and Other Models of Concurrency a satellite event of Petri Nets 2009. The topics range from foundational aspects over methods and tools to case studies. Submission deadline is March 30, 2009.

January 27, 2009: 4th Call for Papers: 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 3, 2009 (abstracts due on March 27, 2009).

January 27, 2009: Call for Papers: 6th European Performance Engineering Workshop. Among the topics are stochastic Petri Nets as a formal modelling paradigm. Submission deadline is February 13, 2009.

January 26, 2009: Deadline Extension: 11th IEEE Conference on Commerce and Enterprise Computing. Submission deadline is extended to February 15, 2009.

January 26, 2009: Call for Participation: The European Joint Conferences on Theory and Practice of Software will take place March 22 - March 29, 2009 at York, United Kingdom.

January 26, 2009: Call for Papers: At the 35th Annual Conference of IEEE Industrial Electronics Society will be a Special Session on Petri Nets and Discrete Event Systems. Submission deadline is April 20, 2009 (a short summary should be send to the corresponding organizer by February 10, 2009).

January 26, 2009: Call for Papers: 7th International Conference on Formal Modelling and Analysis of Timed Systems.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems. To analyse the theoretical foundations of timed systems (and languages) timed Petri Nets are explicitly mentioned in the CfP. FORMATS 2009 is this year co-located with QEST 2009. Submission deadline is April 17, 2009 (abstracts due on April 10).

January 26, 2009: Second Call for Papers: International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. APNOC is a satellite event of Petri Nets 2009, it's goal is to serve as a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. Submission deadline is March 20, 2009 (abstracts due on March 13, 2009, Posters are due on May 1, 2009).

January 23, 2009: Second Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. Papers on tools for analysis, specification, design and implementation of embedded systems are welcome. Submission deadline is February 9, 2009.

January 22, 2009: Call for Presentations: Seventh Workshop on Quantitative Aspects of Programming Languages. Among the topics are probabilistic, timing and general quantitative aspects of distributed and concurrent systems. A presentation reports on recent or ongoing work. Submission deadline is January 28, 2009. (The submission of regular papers is now longer possible!)

January 21, 2009: Call for Papers: 25th UK Performance Engineering Workshop. This time celebrating its 25th Anniversary UKPEW invites papers covering aspects of performance modelling and analysis of computer and telecommunication systems. Stochastic Petri Nets as a modelling paradigm are explicitly mentioned in the CfP. Submission deadline is April 10, 2009.

January 21, 2009: Call for Papers: 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Submissions in which Petri Nets are used for e.g. the modelling of business processes and industry applications are welcome. Case studies are also welcome. Submission deadline is February 6, 2009.

January 21, 2009: Call for Papers: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 7, 2009 (abstracts due on April 1, 2009).

January 20, 2009: Call for Papers: 3rd IEEE Symposium on Theoretical Aspects of Software Engineering. Submission deadline is February 27, 2009 (abstracts due on February 20).

January 20, 2009: Call for Papers: 6th European Performance Engineering Workshop. Among the topics are stochastic Petri Nets as a formal modelling paradigm. Submission deadline is February 13, 2009.

January 19, 2009: Call for Papers: 7th Annual Industrial Simulation Conference. The topics are centered around simulationa and modeling. Quite diverse (application) areas are covered. Submission deadline is February 20, 2009 (early submission deadline is January 25).

January 16, 2009: Final Call for Papers: Computability in Europe 2009: Mathematical Theory and Computational Practice. Submission deadline is extended to February 1, 2009.

January 16, 2009: Call for Papers: 1st Central-European Workshop on Services and their Composition. Submission deadline is February 15, 2009.

January 15, 2009: Call for Papers: 20th International Conference on Concurrency Theory. The conference covers all areas of concurrency. Petri Nets are explictly mentioned as a basic model of concurrency. Submission deadline is April 10, 2009 (abstracts due on April 3).

January 14, 2008: Call for Papers: 4th International Workshop on Workflow Management. Submission deadline is extended to January 25, 2009.

January 14, 2009: Call for Papers: Second International Workshop on Logics for Agents and Mobility. If you use Petri Nets to e.g. model mobile systems, this workshop might be for you. Submission deadline is May 1, 2009.

January 13, 2009: Call for Papers: 11th IEEE Conference on Commerce and Enterprise Computing. Submission deadline is February 1, 2009.

January 13, 2009: Call for Papers: 5th International Workshop on Enterprise & Organizational Modeling and Simulation Among the topics of interest are the modeling and simulation of Business Processes with Petri Nets. Submission deadline is February 23, 2009.

January 11, 2009: Call for Papers and Deadline Extension: 20th IEEE/IFIP International Symposium on Rapid System Prototyping. The RSP 2009 is colocated with PN 2009! Submission deadline is extended to January 24, 2009 (paper registration due on January 24, too).

January 9, 2009: Call for Papers: IEEE 14th International Conference on Emerging Technologies and Factory Automation. The fourth track of ETFA 2009 entitled Track 4 - Automated Manufacturing Systems explicitly mentions Petri Nets in Manufacturing Systems in it's Call for Papers. Submission deadline is March 31, 2009 for long papers.

January 9, 2009: Call for Papers: 12th European Workshop on Dependable Computing. EWDC 2009 will focus on software verification and assessment. One of the topics is formal verification of code or models. Submission deadline is February 18, 2009.

January 9, 2009: Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. Papers on tools for analysis, specification, design and implementation of embedded systems are welcome. Submission deadline is February 9, 2009.

January 9, 2009: Call for Papers: 10th International Middle Eastern Simulation Multiconference. Submission deadline is March 15, 2009 (abstracts are due on March 5).

January 8, 2009: Call for Papers: 5th International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is February 9, 2009 (abstracts are due on February 2).

January 8, 2009: School: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, Bertinoro University, Residential Center, Italy, June 1 - 6, 2009.

January 8, 2009: Job Offer: The The Specification and Verification group of University Paris 13 Computer science laboratory is seeking candidates for a Post-Doc position. The activities will target algorithms, methodologies and tools for the design and verification of a large scale peer-to-peer storage protocol. The position is already open, and applications will be evaluated upon arrival. The position will be filled as soon as possible.

January 7, 2009: Deadline extension: 9th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. Submission deadline has been extended to January 17, 2009 (abstracts are due to January 11).

January 7, 2009: Job Offer: The University of Luxembourg is looking to strengthen the Security and Trust of Software Systems (SaToSS) group of its Faculty of Science, Technology and Communication. Therefore three PostDoc and four PhD positions are available. Deadline for application is February 20, 2009.

January 6, 2009: Last Call for Tutorial Proposals: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in Paris in June 2009. For this major event, people are invited to submit proposals for tutorials. All tutorial proposals must be written in English and are due January 20th 2009.

January 5, 2009: Call for Papers: Seventh Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. The topics center around analysis of parallel and distributed systems. Among the topics are also educational ones. Submission deadline is April 19, 2009.

January 5, 2009: Call for Papers: Fourteenth IEEE International Conference on Engineering of Complex Computer Systems. Among the topics are formal methods and approaches to manage and control complex systems. This is what most of us use Petri Nets for! Submission deadline is February 2, 2009.


[PN Home][What's New][Last updated]
The maintainers of this page