What was New in 2007

December 27, 2007: Call for Papers: International Conference on Complex Open Distributed Systems. Submission deadline is April 2, 2008.

December 24, 2007: Call for Papers: Track on Industrial Automated Systems and Control at the 13th IEEE International Conference on Emerging Technologies and Factory Automation. Submission deadline is March 31, 2008.

December 22, 2007: Call for Papers: 9th International Conference on Mathematics of Program Construction. Submission deadline is January 21, 2008 (abstracts due to January 14).

December 21, 2007: Call for Papers: Computability in Europe 2008: Logic and Theory of Algorithms Submission deadline is January 4, 2008.

December 20, 2007: Call for Papers: 15th Annual European Concurrent Engineering Conference Submission deadline is January 10, 2008.

December 17, 2007: Call for Papers: 5th workshop on Coordination, Organization, Institutions and Norms in agent systems. Submission deadline is January 25, 2008.

December 13, 2007: Call for Papers: 5th International Workshop on the Applications of UML/MDA to Software Systems. Submission deadline is March 1, 2008.

December 12, 2007: Call for Papers: SPEC International Performance Evaluation Workshop 2008. Submission deadline is March 14, 2008.

December 12, 2007: Call for Papers: 8th International Conference on Application of Concurrency to System Design. Submission deadline is January 4, 2008.

December 10, 2007: Call for Papers: 5th International Conference on the Theory and Application of Diagrams. Submission deadline is April 1, 2008 (abstracts due to March 20).

December 6, 2007: Call for Papers: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is March 6, 2008 (abstracts due to February 21).

December 5, 2007: Call for Participation: 3rd International Workshop on Automated Specification and Verification of Web Systems. December 14, 2007, San Servolo, Venice, Italy.

December 5, 2007: Call for Papers: 2nd IEEE & IFIP Symposium on Theoretical Aspects of Software Engineering. Submission deadline is January 21, 2008 for title and abstract submission. Full paper submission deadline is January 28, 2008.

December 5, 2007: Call for Papers: 6th Annual Industrial Simulation Conference. Submission deadline is February 15, 2008.

December 5, 2007: Call for Papers: 35th International Colloquium on Automata, Languages and Programming, Reykjavik, Iceland. Many aspects of Theoretical Computer Science are covered. Submission deadline is February 10, 2008.

December 5, 2007: Final Call for Papers: 7th International Workshop on Graph Transformation and Visual Modeling Techniques. Submission deadline is December 14, 2007.

December 4, 2007: Call for Papers: The deadline for submitting papers to the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency is approaching. Submission deadline is January 5, 2008. This deadline is strict. However, if you submit the title page by January 5 it is sufficient to submit the full paper by January 10.

December 3, 2007: Call for Papers: Sixth Workshop on Quantitative Aspects of Programming Languages. Submission deadline is December 17, 2007.

November 29, 2007: Call for Papers: 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is February 12, 2008.

November 26, 2007: Deadline extension: 2nd International Conference on Language and Automata Theory and Applications. Yearly conference in Theoretical Computer Science and its applications. Submission deadline is extended to November 30, 2007.

November 25, 2007: Call for Papers: 1st Pacific-Asia Workshop on Web Mining and Web-based Application. Submission deadline is January 5, 2008.

November 22, 2007: Call for Papers: 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Submission deadline is March 3, 2008.

November 21, 2007: Call for Papers: 3rd International Workshop on Workflow Management and Applications in Grid Environments. Submission deadline is January 10, 2008.

November 20, 2007: Call for Papers: International Conference on Computational Methods in Systems Biology. Submission deadline is May 5, 2008.

November 20, 2007: Call for Papers: Workshop Modeling in Education. Submission deadline is January 4, 2008. The language of this workshop is German, but papers (and presentations) in English will also be considered.

November 19, 2007: Call for Papers: Computability in Europe 2008: Logic and Theory of Algorithms Submission deadline is January 4, 2008.

November 18, 2007: Call for Papers: Workshop on Logics for Agents and Mobility. Submission deadline is March 8, 2008.

November 15, 2007: Call for Papers and Deadline Extension: The 11th Communications and Networking Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Submission deadline is extended to November 27, 2007.

November 15, 2007: A new version of WoPeD has been released (Release 1.6.0). WoPeD is an easy-to-use, freely available, Java-written tool for editing, managing, simulating and analyzing workflow Petri nets using the well-established "van der Aalst" notation.

November 15, 2007: Call for Papers: 8th International Conference on Application of Concurrency to System Design. Submission deadline is January 4, 2008.

November 12, 2007: Deadline extension: 2nd International Conference on Language and Automata Theory and Applications. Yearly conference in Theoretical Computer Science and its applications. Submission deadline extended to November 23, 2007.

November 9, 2007: Call for Papers: Workshop on Domain-Specific Modeling Languages. Submission deadline is December 31, 2007.

November 9, 2007: Job offer: PhD position (fully funded) in the research project entitled Graphs for Abstract Interpretation of Languages at the Formal Methods and Tools chair of the University of Twente.

November 9, 2007: Call for Papers: Process Mining and Petri net Synthesis a satellite workshop of ATPN 2008 and ACSD 2008. The goal of this workshop is to combine the two research areas of process mining and Petri net synthesis to benefit from ideas and concepts developed in both areas. Submission deadline is March 20, 2008.

November 6, 2007: Call for Papers: 7th International Workshop on Graph Transformation and Visual Modeling Techniques. Submission deadline is December 14, 2007.

November 6, 2007: Call for Papers: 15th Annual European Concurrent Engineering Conference Submission deadline is January 10, 2008.

November 1, 2007: Call for Papers: Workshop: Concurrency metHods: Issues aNd Applications (CHINA 2008). CHINA is a satellite workshop of PETRI NETS 2008 co-located with ACSD 2008. Submission deadline is March 20, 2008.

October 31, 2007: Call for Papers and deadline extension: International Workshop on Petri Nets Tools and Applications. The workshop addresses the application of tools for modelling, simulating and analysing concurrent systems, as well as development and construction of tools. Submission deadline is extended to November 7, 2007 (abstracts due to November 1, 2007).

October 30, 2007: Job offer: Three vacancies (two PhD positions and one position for a Scientific Programmer) in the STW project Controlling Dynamic Real Life Workflow Situations with Demand Driven Workflow Systems at the Software Technology group at the University of Nijmegen (prof. Plasmeijer) and the Architecture of Information Systems group at Eindhoven University of Technology (prof. Van der Aalst).

October 29, 2007: Call for Papers: 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is February 12, 2008.

October 27, 2007: Call for Papers: 5th Annual Conference on Theory and Applications of Models of Computation. Submission deadline is November 10, 2007.

October 25, 2007: Last Call for Papers: ACM SIGMETRICS 2008 - International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 16, 2007 (abstracts due to November 9).

October 24, 2007: Tool update: CPN-AMI 3.2 has just been announced.

October 24, 2007: Job offer: PhD/Postdoc Position on Process Mining at the Department of Mathematics and Computer Science of Eindhoven University of Technology (TU/e).

October 23, 2007: Last Call for Papers: 41th Annual Simulation Symposium. Submission deadline is extended to October 30, 2007.

October 17, 2007: Call for Papers: 7th ACM International Workshop on Software and Performance. Submission deadline is January 20, 2007.

October 16, 2007: Call for Papers: 19th IEEE/IFIP International Symposium on Rapid System Prototyping. Submission deadline is January 12, 2007.

October 16, 2007: Job offer: PhD program in Lucca, Italy in Computer Science and Engineering. The doctoral Program aims to prepare researchers and professionals with broad training in the foundations of informatics as well as applications to a variety of cutting-edge systems and disciplines. Please apply until December 7, 2007.

October 13, 2007: Deadline extension: 41th Annual Simulation Symposium. Submission deadline is extended to October 30, 2007.

October 9, 2007: Deadline extension: 14th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Submission deadline is extended to October 23, 2007.

October 8, 2007: Call for Papers: ACM SIGMETRICS 2008 - International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 16, 2007 (abstracts due to November 9).

October 8, 2007: Call for Papers: International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems. Submission deadline is October 14, 2007.

October 7, 2007: Call for Papers: International Workshop on Petri Nets Tools and APplications. The workshop addresses the application of tools for modelling, simulating and analysing concurrent systems, as well as development and construction of tools. Submission deadline is October 31, 2007.

October 5, 2007: Call for Papers: 3rd International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is October 21, 2007 (abstracts due to October 14).

October 5, 2007: Last Call for Papers: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. The program committee particularly welcomes submissions from researchers in Petri nets on any topic relating to generating programs from petri net specifications. Submission deadline is October 17, 2007 (abstracts are due to October 12).

October 3, 2007: Call for Papers: 9th International Conference on Mathematics of Program Construction. Submission deadline is January 21, 2008 (abstracts due to January 14).

October 2, 2007: Call for Papers: The 41th Annual Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Original contribution in all areas of modeling and simulation are welcome. Submission deadline is October 15, 2007.

October 1, 2007: Call for Papers: 2nd International Conference on Language and Automata Theory and Applications. Yearly conference in Theoretical Computer Science and its applications. Submission deadline is November 16, 2007.

September 24, 2007: Tool update: ProM 4.2, a new release of the leading process mining toolkit, has just been announced. Please goto http://prom.sourceforge.net/ for more information.

September 22, 2007: Call for Papers: 8th International Conference on Application of Concurrency to System Design. Submission deadline is January 4, 2008.

September 21, 2007: Job offer: PhD position on Testing Methods Applied to the Verification of Behavioral Models. The research work is performed as part of the TOPCASED project. People with Petri-net expertise are explicitly invited to apply on this position.

September 20, 2007: Call for Papers: Special session on Petri nets on parallel and distributed systems at the 11th World Conference on Integrated Design and Process Technology in Taichun, Taiwan. Submission deadline is December 1, 2007.

September 19, 2007: Call for Papers: 7th International Workshop on Graph Transformation and Visual Modeling Techniques. Submission deadline is December 14, 2007.

September 18, 2007: Call for Papers: 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Submission deadline is October 29, 2007.

September 18, 2007: Call for Participation: Second International Conference on Performance Evaluation Methodologies and Tools. Nantes, France, October 23-25, 2007.

September 17, 2007: Call for Papers: 14th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Submission deadline is October 1, 2007.

September 17, 2007: Call for Papers: 3rd International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is October 21, 2007 (abstracts due to October 14).

September 15, 2007: Call for Papers: The 41th Annual Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Original contribution in all areas of modeling and simulation are welcome. Submission deadline is October 15, 2007.

September 12, 2007: Job offer: Postdoc position on the Design and Analysis of Data Paths Using Petri Nets at the Technische Universiteit Eindhoven (TU/e).

September 11, 2007: Call for Papers: Computability in Europe 2008: Logic and Theory of Algorithms Submission deadline is January 4, 2008.

September 11, 2007: Call for Papers: International Workshop on Petri Nets Tools and APplications. The workshop addresses the application of tools for modelling, simulating and analysing concurrent systems, as well as development and construction of tools. Submission deadline is October 31, 2007.

September 11, 2007: Call for Papers: 35th International Colloquium on Automata, Languages and Programming, Reykjavik, Iceland. Many aspects of Theoretical Computer Science are covered. Submission deadline is February 10, 2008.

September 11, 2007: Call for Papers: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. The program committee particularly welcomes submissions from researchers in Petri nets on any topic relating to generating programs from petri net specifications. Submission deadline is October 17, 2007 (abstracts are due to October 12).

September 10, 2007: Book announcement: Modelling Distributed Systems by Wan Fokkink.

September 4, 2007: New Petri Net tool: LoLA a new Petri Net tool has just been added to the tools database. LoLA reads a PT-net or HL net in a simple syntax. It then performs state space analysis for boundedness, various reachability queries, reversibility, liveness, home states, deadlocks, dead transitions, CTL model checking, and some LTL properties.

September 3, 2007: Call for Participation: Workshop on Automata and Logic - History and Perspectives on the occasion of the 60th birthday of Wolfgang Thomas. The workshop is devoted to the theory of automata and its connection to mathematical logic, verification, and games. The workshop will take place in Aachen, Germany, December 14-15, 2007.

September 3, 2007: Call for Papers: 5th International Conference on the Theory and Application of Diagrams. Submission deadline is April 1, 2008 (abstracts due to March 20).

August 31, 2007: Call for Participation: International Conference on Formal Methods in Computer-Aided Design. November 11-14, 2007, Austin, Texas.

August 31, 2007: Call for Participation: 4th European Performance Engineering Workshop. September 27-28, 2007, Berlin, Germany.

August 30, 2007: Call for Papers: Special session on Petri nets on parallel and distributed systems at the 11th World Conference on Integrated Design and Process Technology in Taichun, Taiwan. Submission deadline is December 1, 2007.

August 28, 2007: Call for Papers: Invited Session on Supervisory Control Theory and Application at the IFAC World Congress. This invited session intends to present the recent development and applications of supervisory control theory based on a variety of formalisms including Petri Nets among others. Submission deadline is September 3, 2007.

August 24, 2007: Call for Papers: The 11th Communications and Networking Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Submission deadline is October 15, 2007.

August 22, 2007: Call for Papers: The 41th Annual Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Original contribution in all areas of modeling and simulation are welcome. Submission deadline is October 15, 2007.

August 22, 2007: Deadline extension: 14th Workshop Algorithms and Tools for Petri Nets. Submission deadline is extended to September 3, 2007. The official workshop language is German, but English contributions are welcome.

August 6, 2007: Call for Papers: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. The program committee particularly welcomes submissions from researchers in Petri nets on any topic relating to generating programs from petri net specifications. Submission deadline is October 17, 2007 (abstracts are due to October 12).

August 6, 2007: Information from the SC meeting in Siedlce 2007 can be found in the 'Information from the Steering Committee' section.

August 2, 2007: Call for Papers and Participation: Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. Submission deadline is August 15, 2007.

August 1, 2007: Call for Papers: 2nd International Conference on Language and Automata Theory and Applications. Yearly conference in theoretical computer science and its applications. Submission deadline is November 16, 2007.

August 1, 2007: Call for Papers: The 41th Annual Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Original contribution in all areas of modeling and simulation are welcome. Submission deadline is October 15, 2007.

July 28, 2007: Call for Participation: 4th European Performance Engineering Workshop. September 27-28, 2007, Berlin, Germany. Early registration deadline is August 31, 2007.

July 26, 2007: Job offer: PhD position on Design and Analysis of Data Paths Using Petri Nets at the Technische Universiteit Eindhoven (TU/e).

July 23, 2007: Second Call for Papers: 14th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 15, 2007. The official workshop language is German, but English contributions are welcome.

July 12, 2007: Job offer: PhD position at the University of Twente on Graph-Based Abstract Interpretation. To carry out the recently awarded Dutch (NWO) research project entitled Graphs for Abstract Interpretation of Languages (GRAIL), the University of Twente offers a position for a PhD student (fully funded) for a period of four years.

July 11, 2007: Job offer: The School of Information Technology of Bond University, Gold Coast, Australia, has a number of PhD scholarships available starting 2008. The research will be carried out under the supervision of Prof. Paddy Krishnan whose interests are in software assurance, formal methods, security, testing etc.

July 8, 2007: Call for Papers: 9th ACM International Workshop on Web Information and Data Management. Submission deadline is July 21, 2007.

July 5, 2007: Call for Participation: 4th International Conference on Quantitative Evaluation of SysTems. September 16th-19th, 2007, University of Edinburgh, Scotland, UK. Early registration deadline July 15th.

June 27, 2007: Job offer: PhD position: Cell Behaviour Analysis with Formal, High-Performance Verification Techniques at the Department of Computer Science at the Vrije Universiteit (VU) in Amsterdam.

June 27, 2007: Call for Papers: 35th International Colloquium on Automata, Languages and Programming, Reykjavik, Iceland. Many aspects of Theoretical Computer Science are covered. Submission deadline is February 10, 2008.

June 25, 2007: Tools database updated: SNAKES a new Petri Net tool has just been released. Its main aim is to be a general Petri Net library, being able to cope with most Petri Nets models, and providing the researcher with a tool to quickly prototype its new ideas.

June 25, 2007: Call for Papers: First International Workshop on Synthesis and Analysis of Component Connectors. Submission deadline for (extended) abstracts is July 1, 2007.

June 24, 2007: Call for Papers: The 41th Annual Simulation Symposium will be held in Ottawa, Canada, April 13-16, 2008. Original contribution in all areas of modeling and simulation are welcome. Submission deadline is October 15, 2007.

June 22, 2007: New Petri Net tool: SNAKES a new Petri Net tool has just been released. Its main aim is to be a general Petri Net library, being able to cope with most Petri Nets models, and providing the researcher with a tool to quickly prototype its new ideas.

June 20, 2007: Call for Affiliated Workshops: 35th International Colloquium on Automata, Languages and Programming, Reykjavik, Iceland. The deadline for submitting workshop proposals is October 31, 2007.

June 19, 2007: Call for Papers and Announcement: The 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Xi'an, China, June 23-27, 2008. Submission deadline is January 5, 2008.

June 19, 2007: Call for Papers: 2nd International Workshop on Formal Methods for Interactive Systems. Submission deadline is July 1, 2007.

June 18, 2007: Job offer: Postdoc position at group for Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich.

June 17, 2007: Job offer: PhD on refactoring at Oxford.

June 16, 2007: Call for Papers: Second International Workshop on Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models. Submission deadline is July 15, 2007 (abstracts due to June 30, 2007).

June 15, 2007: Call for Papers: 8th International Workshop on Performability Modeling of Computer and Communication Systems. Submission deadline is June 22, 2007.

June 13, 2007: Call for Papers: Workshop on Workflow and Process Management. Submission deadline is June 30, 2007.

June 13, 2007: A new version of WoPeD has been released (Release 1.5.0). WoPeD is an easy-to-use, freely available, Java-written tool for editing, managing, simulating and analyzing Workflow Petri nets using the well-established "van der Aalst" notation.

June 12, 2007: Call for Papers: 12th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks Submission deadline is June 15, 2007.

June 8, 2007: Call for Papers: Second International Workshop on Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models. Submission deadline is July 15, 2007 (abstracts due to June 30, 2007).

June 8, 2007: Job offer: PhD and Postdoc positions on Process Integration and Workflow Management using Formal Methods at TU/e - Eindhoven.

June 8, 2007: Call for Papers: 14th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 15, 2007.

June 6, 2007: Call for Participation: International Conference on Measurement and Modeling of Computer Systems. June 12th-16th 2007, San Diego, California.

June 4, 2007: Call for Papers: 12th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks Submission deadline is June 15, 2007.

June 4, 2007: Call for Papers: 3rd International Workshop on Grid and Peer-to-Peer based Workflows. Submission deadline is to June 8, 2007.

May 30, 2007: Call for Participation: The 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Siedlce, Poland, June 25-29, 2007. The workshops will be on June 25 and June 26.

May 29, 2007: Call for Participation: The Workshop on Petri Net Standards 2007 will be held on June 26 as a satellite event of Petri Nets 2007 in Siedlce.

May 25, 2007: Call for Papers: 4th International Conference on Grid Services Engineering and Management. Submission deadline is to June 15, 2007.

May 23, 2007: Deadline extension: Third Workshop on Graph Transformation for Verification and Concurrency, a satellite workshop of CONCUR 2007. Submission deadline is extended to June 1, 2007 (abstracts due to May 30).

May 23, 2007: Deadline extension: 4th European Performance Engineering Workshop. Among the topics are stochastic Petri Nets. Submission deadline is extended to June 8, 2007.

May 17, 2007: Reminder: Call for Proposals for Workshops and Tutorials: The 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in China in June 2008. 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 both types of proposals is June 1, 2007.

May 15, 2007: Call for Papers: 21st European Simulation and Modelling Conference. A workshop Simulation with Petri Nets will be held during the conference. Submission deadline is June 15 - July 1, 2007.

May 15, 2007: Call for Papers and Participation: Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. Submission deadline is August 15, 2007.

May 14, 2007: Call for Participation: International Conference on Measurement and Modeling of Computer Systems. June 12th-16th 2007, San Diego, California.

May 11, 2007: Call for Papers: 7th International Conference on Knowledge Management. Submission deadline is May 21, 2007 (extended).

May 10, 2007: Call for Papers: 14th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Submission deadline is October 1, 2007.

May 8, 2007: Call for Participation: UFO'07: Workshop on UnFOlding and partial order techniques, a satellite event of Petri Nets 2007. The scope of the workshop is the theory and applications of Petri net unfoldings and related partial-order formalisms. Siedlce, Poland, June 26, 2007.

May 7, 2007: Call for Papers: Third Workshop on Graph Transformation for Verification and Concurrency, a satellite workshop of CONCUR 2007. Submission deadline is May 28, 2007 (abstracts due to May 21).

May 2, 2007: Call for Proposals for Workshops and Tutorials: The 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in China in June 2008. 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 both types of proposals is June 1, 2007.

April 28, 2007: Deadline extension: International Workshop on Network Simulation Tools. Submission deadline is extended to June 1, 2007.

April 26, 2007: Deadline extension: 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is extended to May 11, 2007.

April 26, 2007: Call for Participation: 14th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Prague, Czech Republic, June 4-6, 2007

April 24, 2007: Call for Participation: International Conference on Measurement and Modeling of Computer Systems. June 12th-16th 2007, San Diego, California.

April 23, 2007: Call for Papers: 12th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks Submission deadline is June 15, 2007.

April 22, 2007: Call for Papers: 4th European Performance Engineering Workshop. Among the topics are stochastic Petri Nets. Submission deadline is May 25, 2007.

April 21, 2007: Call for Papers: 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 27, 2007.

April 20, 2007: Call for Papers: The 2007 International Conference on High Performance Computing and Communications. Submission deadline is April 30, 2007.

April 19, 2007: Deadline extension: Workshop on Reachability Problems, July 7-8, 2007, Turku, Finland. Relevance: reachability analysis in computational models, verification. Submission deadline is extended to April 23, 2007.

April 18, 2007: Call for Papers: International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 7, 2007 (abstracts due to April 30).

April 18, 2007: Call for Papers: 6th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is May 13, 2007 (abstracts due to May 6).

April 17, 2007: Call for Tool Papers: 4th International Conference on Quantitative Evaluation of SysTems. Submissions of tool papers are welcome. There will also be one day of tutorials at the start of the conference. Tutorial proposals (up to 4 pages) should be sent to the Tutorial Chair. Tool papers and tutorial proposals should be sent until May 15, 2007.

April 16, 2007: Recently, a new version of ProM: A Framework for Process Mining Research and Applications (version 4.1) was released. The new version can be downloaded from: http://prom.sourceforge.net. More information about process mining can be obtained via http://www.processmining.org.

April 11, 2007: Job offer: Full time position as a teaching/research assistant, at the University of Augsburg (in German). The deadline for application is April 30, 2007.

April 10, 2007: Last Call for Papers: 5th Symposium on Design, Analysis, and Simulation of Distributed Systems Submission deadline is April 20, 2007.

April 6, 2007: Call for Short Papers and Posters: International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2007. PNSE'07 is planned to be a meeting event for those interested in the combination of Petri nets with software engineering in the broadest sense. The submission deadline for short papers is April 13, 2007. The submission deadline for posters is May 6, 2007.

April 5, 2007: Call for Papers: 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 27, 2007.

April 3, 2007: Second Call for Papers: International Conference on Computational Methods in Systems Biology. Submission deadline is May 7, 2007.

April 3, 2007: Deadline Extension: Formal Approaches to Business Processes and Web Services, a satellite event of Petri Nets 2007. Submission deadline is April 16, 2007.

March 31, 2007: Call for Papers: Fifth International Symposium on Automated Technology for Verification and Analysis. Submission deadline is May 14, 2007.

March 30, 2007: Final Call for Papers and Deadline Extension: Second International Conference on Performance Evaluation Methodologies and Tools. Full papers are due to April 20, 2007 (extended).

March 30, 2007: Call for Participation: Computability in Europe 2007: Computation and Logic in the Real World. University of Siena, Italy, June 18 - 23, 2007.

March 28, 2007: Call for Papers: International Conference on Principles of Information Technology and Applications. Submission deadline is June 25, 2007.

March 26, 2007: Last Call for Papers: Formal Approaches to Business Processes and Web Services, a satellite event of Petri Nets 2007. Submission deadline is April 1, 2007.

March 23, 2007: Call for Papers: Third Workshop on Graph Transformation for Verification and Concurrency, a satellite workshop of CONCUR 2007. Submission deadline is May 28, 2007 (abstracts due to May 21).

March 22, 2007: Deadline extension: 2nd Workshop on Teaching Concurrency, a satellite event of Petri Nets 2007. The main goal of the workshop is to continue and consolidate the discussion on the ways that models of concurrency can be taught at undergraduate/graduate levels. Submission deadline is extended to April 1, 2007.

March 22, 2006: Tools datebase updated: A new version of PROD has been released. PROD is a text-based tool that supports different reduced reachability graph generation methods that may also be combined.

March 19, 2007: Call for Papers: Second International Conference on Performance Evaluation Methodologies and Tools. Submission deadline is March 30, 2007.

March 19, 2007: Deadline extension: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is extended to March 27, 2007.

March 18, 2007: Deadline extension: Workshop on Petri Net Standards 2007 a satellite event of Petri Nets 2007. Submission deadline is extended to April 1, 2007.

March 15, 2007: Deadline extension: UFO'07: Workshop on UnFOlding and partial order techniques, a satellite event of Petri Nets 2007. The scope of the workshop is the theory and applications of Petri net unfoldings and related partial-order formalisms. Submission deadline is extended to March 27, 2007.

March 12, 2007: Deadline extension: 2007 Summer Computer Simulation Conference. This is the first international workshop to address application of Petri nets in biological processes (molecular process modeling etc.). Applications of Petrinets in any Biological, Molecular, Systems Biology and other health related topic are welcome. Submission deadline is extended to April 1, 2007.

March 9, 2007: Call for Papers: Special Session on Behavioural Models for Embedded Systems. Submission deadline is April 4, 2007.

March 9, 2007: Call for Papers: 2nd International Workshop on Middleware and Performance. Submission deadline is April 1, 2007.

March 8, 2007: Call for Papers: 4th International Workshop on Web Services and Formal Methods. Submission deadline is June 15, 2007.

March 7, 2007: Call for Papers: 5th International Conference on Business Process Management. Submission deadline is April 16, 2007.

March 7, 2007: Last Call for Papers: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is March 20, 2007.

March 7, 2007: Call for Papers: International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2007. PNSE'07 is planned to be a meeting event for those interested in the combination of Petri nets with software engineering in the broadest sense. Submission deadline is April 1, 2007.

March 5, 2007: Call for Papers: 7th International Conference on Knowledge Management. Submission deadline is April 2, 2007.

March 1, 2007: The Conference Program for ATPN 2007 has been announced.

March 1, 2007: Call for Papers: Workshop on Reachability Problems, July 7-8, 2007, Turku, Finland. Relevance: reachability analysis in computational models, verification. Submission deadline is April 11, 2007.

March 1, 2007: Call for Papers: 3rd IEEE Conference on Automation Science and Engineering. Submission deadline is April 30, 2007.

March 1, 2007: Call for Papers: UFO'07: Workshop on UnFOlding and partial order techniques, a satellite event of Petri Nets 2007. The scope of the workshop is the theory and applications of Petri net unfoldings and related partial-order formalisms. Submission deadline is March 20, 2007.

February 27, 2007: Deadline Extension: 5th Symposium on Design, Analysis, and Simulation of Distributed Systems. Submission deadline is extended to March 15, 2007.

February 26, 2007: Call for Participation: 6th Conference on Aspect-Oriented Software Development. Vancouver, BC, March 12-16, 2007.

February 26, 2007: Call for Participation: 1st International Conference on Language and Automata Theory and Applications. Tarragona, Spain, March 29 - April 4, 2007.

February 26, 2007: Deadline extension: 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems Submission deadline has been extended to March 4, 2007.

February 26, 2007: Call for Papers: 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 27, 2007.

February 24, 2007: Call for Papers: 2nd Workshop on Teaching Concurrency, a satellite event of ATPN 2007. Submission deadline is March 10, 2007.

February 24, 2007: Call for Papers: Special Sessions on "Petri Nets and Discrete Event Systems" at the 33rd Annual Conference of IEEE Industrial Electronics Society. Submission deadline is April 2, 2007 (please email short summaries to the organizers no later than March 16, 2007).

February 22, 2007: Call for Papers: The submission deadline for the Workshop on Petri Net Standards 2007 a satellite event of Petri Nets 2007 is approaching. Submission deadline is March 10, 2007.

February 20, 2007: Call for Papers: 21st European Simulation and Modelling Conference. A workshop Simulation with Petri Nets will be held during the conference. Submission deadline is June 15 - July 1, 2007.

February 12, 2007: Call for Papers: International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 7, 2007 (abstracts due to April 30).

February 12, 2007: Job offer: Fully funded 3-year PhD studentship and numerous paid 2-months internships at the Programming Tools Group at the University of Oxford. Applications from researchers in Petri nets (or their students) would be particularly welcome!

February 12, 2007: Deadline Extension and Last Call for Papers: 14th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Among the topics are stochastic Petri Net models. Submission deadline is extended to February 19, 2007.

February 6, 2007: Call for Papers: 14th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Among the topics are stochastic Petri nets. Submission deadline is Feburary 13, 2007.

February 6, 2007: Call for Papers: Third Workshop on Aspect-Oriented and Model-Driven Softwar Development. Submission deadline is May 9, 2007.

February 5, 2007: Call for Papers: First IEEE International Workshop on Software Patterns: Addressing Challenges. Submission deadline is February 23, 2007.

February 1, 2007: Second Call for Papers: 2007 Summer Computer Simulation Conference. This is the first international workshop to address application of Petri nets in biological processes (molecular process modeling etc.). Applications of Petrinets in any Biological, Molecular, Systems Biology and other health related topic are welcome. Submission deadline is February 28, 2007.

February 1, 2007: Call for Papers: 14th Workshop on Logic, Language, Information and Computation. Submission deadline is March 2, 2007 (February 23 for paper title and abstract).

January 31, 2007: Call for Papers: International Workshop on Network Simulation Tools. Submission deadline is April 30, 2007.

January 30, 2007: Job offer: Several postdoctoral positions at the level of Research Assistant Professor are available at the Department of Computer Science, University of Aarhus, Denmark. The positions are for one year with possibility of extension. The deadline for applications is March 1, 2007.

January 30, 2007: Job offer: Postdoctoral positions are available within the Coloured Petri Nets group at the Department of Computer Science, University of Aarhus, Denmark. The positions are within the AsCoVeCo project. The deadline for applications is March 1, 2007.

January 28, 2007: Call for Papers: 4th European Performance Engineering Workshop. Among the topics are stochastic Petri Nets. Submission deadline is May 25, 2007.

January 24, 2007: Call for Papers: International Conference on Computational Methods in Systems Biology. Submission deadline is May 7, 2007.

January 23, 2007: Deadline Extension and Final Call for Papers: Seventh International Conference on Application of Concurrency to System Design. Submission deadline is February 4, 2007 (extended).

January 23, 2007: Call for Papers: 4th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 24, 2007 (Abstracts due to March 17).

January 23, 2007:The Workflow Patterns Web Site at http://www.workflowpatterns.com has been thoroughly overhauled to bring it up to date with the latest research insights. The web site now also provides CPN models of patterns.

January 18, 2007: Call for Papers: Special session on Design, Analysis, and Control of Discrete Event Systems. Submission deadline is March 1, 2007 (Submission of paper information to the organizers due to January 31, 2007).

January 17, 2007: New research group added: Department of Industrial Management at the Persian Gulf University, Iran.

January 17, 2007: Job offer: PhD postition at the Systems Engineering and Discrete Event Systems Group, Department of Computer Science and Systems Engineering, University of Zaragoza, Spain.

January 17, 2007: New Tools datebase entry: HISim has been released. HISim allows the user to create and simulate Hybrid Petri Nets using a GUI. The HPN implementation follows Demongodin and Koussoulas' definition of Differential Petri Nets, and additionally incorporates inhibitory and test arcs.

January 17, 2007: New Tools datebase entry: VisualPetri has been released. VisualPetri is Petri net editor for Windows platform based on GDI Plus library with an integrated simulator.

January 17, 2007: Call for Papers: First International Workshop on Verification and Evaluation of Computer and Communication Systems Submission deadline is January 31, 2007.

January 16, 2006: Deadline Extension and Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering. Submission deadline is extended to January 28, 2007.

January 15, 2007: Call for Papers: 5th Symposium on Design, Analysis, and Simulation of Distributed Systems. Submission deadline is February 28, 2007.

January 15, 2007: Call for Papers: Special Sessions on "Petri Nets and Discrete Event Systems" at the 33rd Annual Conference of IEEE Industrial Electronics Society. Submission deadline is April 2, 2007.

January 11, 2007: Call for Papers: 14th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Among the topics are stochastic Petri nets. Submission deadline is Feburary 13, 2007.

January 10, 2007: New Tools datebase entry: QPME 1.0 has been released. QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the queueing Petri net modeling formalism.

January 8, 2007: Second Call for Papers: 14th Workshop on Logic, Language, Information and Computation. Submission deadline is March 2, 2007 (February 23 for paper title and abstract).

January 8, 2007: Call for Papers: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is March 20, 2007 (abstracts due to March 6).

January 5, 2007: First Call for Papers: 5th Annual Industrial Simulation Conference. Submission deadline is February 25, 2007.

January 3, 2007: Final Call for Papers: Computability in Europe 2007: Computation and Logic in the Real World. Submission deadline is January 12, 2007.

January 2, 2007: Tools datebase updated: A new version of WoPeD has been released (Release 1.0.0). WoPeD is an easy-to-use, freely available, Java-written tool for editing, managing, simulating and analyzing Workflow Petri nets using the well-established "van der Aalst" notation.